Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract elided by the publisher.
Related papers
- Precise Concrete Type Inference for Object-Oriented Languages OOPSLA 1994
- Object-Oriented Type Inference OOPSLA 1991
- Inferring Incorrectness Specifications for Object-Oriented Programs TACAS 2025
- Relevant Context Inference POPL 1999
- Information flow inference for ML TOPLAS 2003
- Information flow inference for ML POPL 2002
- Making Type Inference Practical ECOOP 1992
- Componential Set-Based Analysis TOPLAS 1999