Modeling Object-Oriented Program Execution
Abstract elided by the publisher.
Related papers
- An Execution Model for Distributed Object-Oriented Computation OOPSLA 1988
- Semantic Locking in Object-Oriented Database Systems OOPSLA 1994
- Efficient and reasonable object-oriented concurrency PPoPP 2015
- Mentat: An Object-Oriented Macro Data Flow System OOPSLA 1987
- Concurrency-aware object-oriented programming with roles OOPSLA 2018
- Semantic-Based Visualization for Parallel Object-Oriented Programming OOPSLA 1996
- Verifying Executable Object-Oriented Specifications with Separation Logic ECOOP 2010
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution TACAS 2005