𝔖 Bobbio Scriptorium
✦   LIBER   ✦

LETOS – a lightweight execution tool for operational semantics

✍ Scribed by Pieter H. Hartel

Publisher
John Wiley and Sons
Year
1999
Tongue
English
Weight
256 KB
Volume
29
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.

✦ Synopsis

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 publication quality rendering using L AT E X, fast enough to provide competitive execution using Haskell, and versatile enough to support browsing of execution traces using Netscape. LETOS can be characterised as an experiment in 'creative laziness', showing how far one can get by gluing existing components together. The major specifications built using LETOS to-date are a smart card version of the Java Virtual Machine, a deterministic version of the π-calculus, and an electronic payment protocol. In addition, we have specified the semantics of many small programming languages and systems, totaling over 9000 lines of formal text. LETOS is unique in that it helps to check that a specification is operationally conservative.

📜 SIMILAR VOLUMES

Mathematical modeling as a tool to inves
Mathematical modeling as a tool to investigate the design and operation of the zymotis packed-bed bioreactor for solid-state fermentation
✍ D. A. Mitchell; O. F. von Meien 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 254 KB 👁 2 views

Zymotis bioreactors for solid-state fermentation (SSF) are packed-bed bioreactors with internal cooling plates. This design has potential to overcome the problem of heat removal, which is one of the main challenges in SSF. In ordinary packed-bed bioreactors, which lack internal plates, large axial t