Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract)
Abstract elided by the publisher.
Related papers
- Abstract Debugging of Higher-Order Imperative Languages PLDI 1993
- Fregel: a functional domain-specific language for vertex-centric large-scale graph processing JFP 2022
- Low-overhead and fully automated statistical debugging with abstraction refinement OOPSLA 2016
- Algorithmic Debugging for Lazy Functional Languages JFP 1994
- Effect Handlers for Programmable Inference Haskell 2023
- Isolating Side Effects in Sequential Languages POPL 1995
- Projection-based runtime assertions for testing and debugging Quantum programs OOPSLA 2020
- A Logic for Expressions with Side-Effects POPL 1982