Intermodular Slicing of Object-oriented Programs
Abstract elided by the publisher.
Related papers
- Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs TACAS 2006
- Three Steps to Views: Extending the Object-Oriented Paradigm OOPSLA 1989
- Concurrency-aware object-oriented programming with roles OOPSLA 2018
- Refinement in object-sensitivity points-to analysis via slicing OOPSLA 2018
- Efficient dynamic dispatching with type slicing TOPLAS 2007
- Adaptive Plug-and-Play Components for Evolutionary Software Development OOPSLA 1998
- Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing GPCE 2022
- PhD Abstracts JFP 2024