Media type: E-Book; Conference Proceedings Title: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs Contributor: Banerjee, Anindya [Author] Corporation: Association for Computing Machinery ; ACM Special Interest Group on Programming Languages imprint: New York, NY: ACM, 2009 Published in: ACM Digital Library ACM Other conferences Extent: Online-Ressource (1 online resource (64 pages)) Language: English DOI: 10.1145/1557898 ISBN: 9781605585406 Identifier: Keywords: Computer science ; Software ; Theory of Computation ; Formal language definitions ; Formal languages and automata theory ; Language types ; Konferenzschrift Reproductino series: Association for Computing Machinery-Digital Library Origination: Footnote: Title from The ACM Digital Library