Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs
Abstract elided by the publisher.
Related papers
- Concurrency-aware object-oriented programming with roles OOPSLA 2018
- Intermodular Slicing of Object-oriented Programs CC 1998
- Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation OOPSLA 1995
- Interprocedural slicing of multithreaded programs with applications to Java TOPLAS 2006
- Three Steps to Views: Extending the Object-Oriented Paradigm OOPSLA 1989
- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking VMCAI 2004
- Bamboo: a data-centric, object-oriented approach to many-core software PLDI 2010
- An Execution Model for Distributed Object-Oriented Computation OOPSLA 1988