Items where authors include "Botincan, Matko"

Export as [feed] Atom [feed] RSS
Number of items: 1.

Proceedings Paper

Botincan, Matko, Dodds, Michael David orcid.org/0000-0002-4439-0130 and Jagannathan, Suresh (2012) Resource-sensitive synchronization inference by abduction. In: POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. UNSPECIFIED. ACM , New York , pp. 309-322.

This list was generated on Sat Mar 23 08:18:11 2024 GMT.