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

Operational semantics: Concepts and their expression

โœ Scribed by Cliff B. Jones

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
157 KB
Volume
88
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

LETOS โ€“ a lightweight execution tool for
LETOS โ€“ a lightweight execution tool for operational semantics
โœ Pieter H. Hartel ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 256 KB ๐Ÿ‘ 1 views

A lightweight tool is proposed to aid in the development of operational semantics. To use LETOS an operational semantics must be expressed in its meta-language, which itself is a superset of Miranda. The LETOS compiler is smaller than comparable tools, yet LETOS is powerful enough to support publica

Operational and goal-independent denotat
Operational and goal-independent denotational semantics for Prolog with cut
โœ Fausto Spoto ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 454 KB

In this paper we propose an operational and a denotational semantics for Prolog. We deal with the control rules of Prolog and the cut operator. Our denotational semantics provides a goal-independent semantics. This means that the behaviour of a goal in a program is deยฎned as the evaluation of the go