Efficient Automatic STE Refinement Using Responsibility
No abstract available.
Related papers
- Word-Level Symbolic Trajectory Evaluation CAV 2015
- Localizing Type Errors for Syntactic Sugar by Lifting OOPSLA 2026
- Object-Oriented Design: A Responsibility-Driven Approach OOPSLA 1989
- RestPi: Path-Sensitive Type Inference for REST APIs OOPSLA 2025
- Automatic fault location for data structures CC 2016
- Responsive Parallelism with Dynamic and First-Class Priorities PLDI 2026
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ESOP 2020
- Programming by Refinement, as Exemplified by the SETL Representation Sublanguage TOPLAS 1979