F4F
- 22 October 2011
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11
- Vol. 46 (10), 1053-1068
- https://doi.org/10.1145/2048066.2048145
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Path- and index-sensitive string analysis based on monadic second-order logicPublished by Association for Computing Machinery (ACM) ,2011
- Strictly declarative specification of sophisticated points-to analysesPublished by Association for Computing Machinery (ACM) ,2009
- Typestate-oriented programmingPublished by Association for Computing Machinery (ACM) ,2009
- TAJPublished by Association for Computing Machinery (ACM) ,2009
- MerlinPublished by Association for Computing Machinery (ACM) ,2009
- Checking Framework Interactions with RelationshipsPublished by Springer Science and Business Media LLC ,2009
- The case for analysis preserving language transformationPublished by Association for Computing Machinery (ACM) ,2006
- Reflection Analysis for JavaLecture Notes in Computer Science, 2005
- Automatic Creation of Environment Models via TrainingLecture Notes in Computer Science, 2004
- JFlowPublished by Association for Computing Machinery (ACM) ,1999