A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Operational Semantics of a Focusing Debugger
1995
Electronical Notes in Theoretical Computer Science
This paper explores two main ideas: (1) a debugger for a programming language ought t o h a ve a formal semantic de nition that is closely allied to the formal definition of the language itself and (2) a debugger for very high level programming language ought to provide support for exposing hidden information in a controlled fashion. We i n vestigate these ideas by giving formal semantic de nitions for a simple functional programming language and an associated debugger for the language. The
doi:10.1016/s1571-0661(04)80002-1
fatcat:botxphjbzjfe3ln7ix5t52hqxe