𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantic Analysis of E-Business Operations

✍ Scribed by Mehmet Sayal; Akhil Sahai; Vijay Machiraju; Fabio Casati


Book ID
110419642
Publisher
Springer US
Year
2003
Tongue
English
Weight
952 KB
Volume
11
Category
Article
ISSN
1064-7570

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Semantic analysis of orthologic
✍ R. I. Goldblatt πŸ“‚ Article πŸ“… 1974 πŸ› Springer Netherlands 🌐 English βš– 866 KB
Operational Semantics of a Focusing Debu
✍ 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