The Complexity of Type Analysis of Object Oriented Programs
No abstract available.
Related papers
- Complex Associations: Abstractions in Object-Oriented Modeling OOPSLA 1994
- A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics JFP 1994
- Lifetime Analysis of Dynamically Allocated Objects POPL 1988
- Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs PLDI 1990
- Type-preserving compilation for large-scale optimizing object-oriented compilers PLDI 2008
- Type-Theoretic Foundations for Concurrent Object-Oriented Programming OOPSLA 1994
- An Object-Oriented Modeling Environment OOPSLA 1989
- A simple typed intermediate language for object-oriented languages POPL 2005