Data-Flow-Based Virtual Function Resolution
No abstract available.
Related papers
- Open multi-methods for c++ GPCE 2007
- Practical virtual method call resolution for Java OOPSLA 2000
- Precise Concrete Type Inference for Object-Oriented Languages OOPSLA 1994
- The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking OOPSLA 2025
- Resolution Proofs and Skolem Functions in QBF Evaluation and Applications CAV 2011
- A Data-Driven Model for a Subset of Logic Programming TOPLAS 1987
- Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis PLDI 2024
- Tail call elimination and data representation for functional languages on the Java virtual machine CC 2018