Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages
No abstract available.
DOI 10.1007/3-540-36579-6_10
Related papers
- Dimensions of Object-Based Language Design OOPSLA 1987
- An Evaluation of Automatic Object Inline Allocation Techniques OOPSLA 1998
- Object-oriented units of measurement OOPSLA 2004
- Static conflict analysis for multi-threaded object-oriented programs PLDI 2003
- Using types to analyze and optimize object-oriented programs TOPLAS 2001
- Korz: Simple, Symmetric, Subjective, Context-Oriented Programming Onward! 2014
- Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs POPL 2022
- Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language APLAS 2020