๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formal Foundations of Operational Semantics

โœ Scribed by Jonathan Ford; Ian A. Mason

Book ID
111552879
Publisher
Springer
Year
2003
Tongue
English
Weight
237 KB
Volume
16
Category
Article
ISSN
1388-3690

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A view of formal semantics
A view of formal semantics
โœ Hendrik J Boom; Claus Bendix Nielsen; Andrew D McGettrick; Peter D Mosses; Charl ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 560 KB
Formal semantics of visual occam
Formal semantics of visual occam
โœ Muhammed Al-Mulhem; Shahid Ali ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 316 KB
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