Operational Semantics of a Focusing Debugger
Open Access
- 31 December 1995
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 1, 13-31
- https://doi.org/10.1016/s1571-0661(04)80002-1
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Operational Semantics of a Focusing DebuggerElectronic Notes in Theoretical Computer Science, 1995
- An operational semantics for I/O in a lazy functional languagePublished by Association for Computing Machinery (ACM) ,1993
- Structured operational semantics and bisimulation as a congruenceInformation and Computation, 1992
- Monitoring semanticsACM SIGPLAN Notices, 1991
- Debugging standard ML without reverse engineeringPublished by Association for Computing Machinery (ACM) ,1990