A Theory of Primitive Objects - Scond-Order Systems
No abstract available.
Related papers
- An Extended Theory of Primitive Objects: FIrst Order System ECOOP 1997
- Higher-Order Spreadsheets with Spilled Arrays ESOP 2020
- Process Management and Exception Handling in Multiprocessor Operating Systems OOPSLA 1988
- A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories TOPLAS 2014
- Proofs in conflict-driven theory combination CPP 2018
- The Kala Basket: A Semantic Primitive Unifying Object Transactions, Access Control, Versions, and Configurations OOPSLA 1991
- Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing OOPSLA 2006
- An Extension of Standard ML Modules with Subtyping and Inheritance POPL 1991