Executable component-based semantics

DOI10.1016/J.JLAMP.2018.12.004zbMath1417.68095OpenAlexW2907005153WikidataQ128645278 ScholiaQ128645278MaRDI QIDQ1734523

L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe

Publication date: 27 March 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa48792

zbMATH Keywords

formal semanticsprogramming languagescomponentsreusetool support

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Uses Software

• Ott
• CoreASM
• Haskell
• Maude
• MMT
• PLT Redex
• Spoofax
• Hackage
• K Prover
• Melange

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An overview of the K semantic framework
• Fundamental concepts in programming languages
• Maude: specification and programming in rewriting logic
• Modular structural operational semantics
• A structural approach to operational semantics
• A Theory of Name Resolution
• Implicit Propagation in Structural Operational Semantics
• Weak Bisimulation as a Congruence in MSOS
• Pragmatics of Modular SOS
• Data types à la carte
• Modular Bisimulation Theory for Computations and Values
• Ott: Effective tool support for the working semanticist
• Techniques for program error diagnosis on EDSAC 2

This page was built for publication: Executable component-based semantics