Fast static analysis of C++ virtual function calls, OOPSLA '96, pp.324-341, 1996. ,
Type systems The Computer Science and Engineering Handbook, chapter 97, 2004. ,
Analysis of pointers and structures, PLDI '90, 1990. ,
The calculational design of a generic abstract interpreter, Calculational System Design. NATO ASI Series F. IOS Press, 1999. ,
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, Theoretical Computer Science, pp.47-103, 2002. ,
DOI : 10.1016/S0304-3975(00)00313-3
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790
Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, 1979. ,
DOI : 10.1145/567752.567778
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis, ECOOP '95, 1995. ,
DOI : 10.1007/3-540-49538-X_5
On static analysis for expressive pattern matching, 2008. ,
Common Language Infrastructure (CLI) ECMA, 2006. ,
Object-oriented pattern matching, 2007. ,
Translation correctness for first-order objectoriented pattern matching, APLAS '07, pp.54-70, 2007. ,
Matching Objects with Patterns, ECOOP '07, pp.273-298, 2007. ,
DOI : 10.1007/978-3-540-73589-2_14
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009. ,
DOI : 10.1109/SEFM.2009.20
Matchete: Paths through the Pattern Matching Jungle, PADL '08, 2008. ,
DOI : 10.1007/978-3-540-77442-6_11
Precise static type analysis for object oriented programs, ACM SIGPLAN Notices, vol.42, issue.2, pp.17-26, 2007. ,
DOI : 10.1145/1241761.1241763
Java Virtual Machine Specification, 1999. ,
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis, Proceedings of CC '08, 2008. ,
DOI : 10.1007/978-3-540-78791-4_14
RATA: Rapid Atomic Type Analysis by Abstract Interpretation ??? Application to JavaScript Optimization, CC '10, 2010. ,
DOI : 10.1007/978-3-642-11970-5_5
Object-Oriented Software Construction, 1997. ,
Not all patterns, but enough, ACM SIGPLAN Notices, vol.44, issue.2, pp.49-60, 2009. ,
DOI : 10.1145/1543134.1411293
The Scala Language Specification, 2008. ,
OOMatch, Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion , OOPSLA '07, pp.771-772, 2007. ,
DOI : 10.1145/1297846.1297880
Julia: A Generic Static Analyser for the Java Bytecode, Proceedings of FTfJP'2005, 2005. ,
Extensible pattern matching via a lightweight language extension, ACM SIGPLAN Notices, vol.42, issue.9, pp.29-40, 2007. ,
DOI : 10.1145/1291220.1291159