A structural operational semantics for an Edison-like language

DOI10.1007/BF02943301MaRDI QIDQ1075044zbMATH OpenOpenAlexFDO

Authors Wei Li

Publication date 1986

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02943301

zbMATH Keywords

syntaxoperational semanticsconcurrent programming languagesEdisonEdison.1static semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Recommendations

• A structural operational semantics for an Edison like language. II
• A structural approach to operational semantics
• Structured Operational Semantics of a fragment of the language Scheme
• An operational semantics for declarative multi-paradigm languages
• Operational semantics of a kernel of the language ELECTRE
• Operational semantics for declarative multi-paradigm languages
• Structuring operational semantics: simplification and computation
• An operational semantics for Scheme
• Operational semantics for multi-language programs
• Structural operational semantics through context-dependent behaviour

Cited in

(4)

• A structural operational semantics for an Edison like language. II
• Structural operational semantics through context-dependent behaviour
• A structural approach to operational semantics
• Edison-N — an Edison implementation for a network of microcomputers

This page was built for publication: A structural operational semantics for an Edison-like language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1075044)