✦ LIBER ✦

An Operational Semantics for Handel-C

✍ Scribed by Andrew Butterfield; Jim Woodcock

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 189 KB
Volume: 80
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80821-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantic Domains for Handel-C

✍ Andrew Butterfield; Jim Woodcock 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 211 KB

Handel-C is a programming language which is a hybrid of CSP and C, designed to target hardware implementations, specifically field-programmable gate arrays (FPGAs). The language is C-like with CSP-like parallel constructs and channel communication added. All assignments and channel communication eve

Structural operational semantics for AKL

✍ Seif Haridi; Sverker Janson; Catuscia Palamidessi 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 1017 KB

The connection between an event structur

The connection between an event structure semantics and an operational semantics forTCSP

✍ Christel Baier; Mila E. Majster-Cederbaum 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 English ⚖ 921 KB

Constructing type systems over an operat

Constructing type systems over an operational semantics

✍ Robert Harper 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 764 KB

Operational Semantics for Functional Log

Operational Semantics for Functional Logic Languages

✍ Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver; Germán Vidal 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 209 KB

Abstract interpretation of operational s

Abstract interpretation of operational semantics for secure information flow

✍ R. Barbuti; C. Bernardeschi; N. De Francesco 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 106 KB