Conformance, Genericity, Inheritance and Enhancement
Abstract elided by the publisher.
Related papers
- Extending Ordinary Inheritance Schemes to Include Generalization OOPSLA 1989
- Logic and Inheritance POPL 1986
- Genericity versus Inheritance OOPSLA 1986
- Hidden inheritance: an inline caching design for TypeScript performance OOPSLA 2020
- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation TACAS 2018
- Enhancing modular OO verification with separation logic POPL 2008
- Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations OOPSLA 2009
- Automated conformance testing for JavaScript engines via deep compiler fuzzing PLDI 2021