Completeness Analysis for Incomplete Object-Oriented Programs
Abstract elided by the publisher.
Related papers
- Enabling static analysis for partial java programs OOPSLA 2008
- Relevant Context Inference POPL 1999
- Compositional Pointer and Escape Analysis for Java Programs OOPSLA 1999
- Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language APLAS 2020
- Type Inference for C: Applications to the Static Analysis of Incomplete Programs TOPLAS 2020
- Objects in Concurrent Logic Programming Languages OOPSLA 1986
- Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages ECOOP 2014
- Completeness and Incompleteness of Trace-Based Network Proof Systems POPL 1987