Media type: E-Book; Conference Proceedings Title: Proceedings of the ACM international conference on Object oriented programming systems languages and applications Contributor: Leavens, Gary T. [Author] Corporation: Association for Computing Machinery ; ACM Special Interest Group on Programming Languages Published: New York, NY: ACM, 2012 Published in: ACM Digital Library ACM Conferences Extent: Online-Ressource (1 online resource (1038 pages)) Language: English DOI: 10.1145/2384616 ISBN: 9781450315616 Identifier: Keywords: Computer science ; Software ; Theory of Computation ; Information Systems ; Computer Systems Organization ; Parallel programming languages ; Compilers ; Formal software verification ; Konferenzschrift Reproduction series: Association for Computing Machinery-Digital Library Origination: Footnote: Title from The ACM Digital Library