Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

DOI10.1145/1040305MaRDI QIDQ5747533zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 17 February 2014

Full work available at URL https://doi.org/10.1145/1040305

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of programming languages (68N15)

Cited in

(3)

• Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006
• scientific article; zbMATH DE number 2202943 (Why is no real title available?)
• Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

This page was built for publication: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747533)