Partial Instances via Subclassing
No abstract available.
Related papers
- Modular Reasoning in the Presence of Subclassing OOPSLA 1995
- Type Substitution for Object-Oriented Programming OOPSLA 1990
- Control-flow recovery from partial failure reports PLDI 2017
- Stratified Guarded First-Order Transition Systems SAS 2020
- Modeling Concurrency in Parallel Debugging PPoPP 1990
- Partially Strict Non-Recursive Data Types JFP 1993
- Computational Reflection in Class-Based Object-Oriented Languages OOPSLA 1989
- Proving the Safety of Highly-Available Distributed Objects ESOP 2020