Propagating Class and Method Combination
No abstract available.
DOI 10.1007/3-540-48743-3_4
Related papers
- Combining the top-down propagation and bottom-up enumeration for inductive program synthesis POPL 2021
- Efficient constraint propagation engines TOPLAS 2008
- Exception Handling and Object-Oriented Programming: Towards a Synthesis OOPSLA 1990
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains VMCAI 2006
- Type inference for static compilation of JavaScript OOPSLA 2016
- Local type inference TOPLAS 2000
- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation TACAS 2022
- Combining subsumption and binary methods: an object calculus with views POPL 2001