✦ LIBER ✦

Operational semantics of a focusing debugger : Karen L. Bernstein and Eugene W. Stark http://www.elsevier.nl/locate/entcs/volume1/bernstein

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 80 KB
Volume: 152
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(96)80114-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Operational Semantics of a Focusing Debu

Operational Semantics of a Focusing Debugger

✍ Karen L. Bernstein; Eugene W. Stark 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 737 KB

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 i