The expressive power of Structural Operational Semantics with explicit assumptions

DOI10.1007/3-540-58085-9_80MaRDI QIDQ6083697zbMATH OpenFDO

Authors Marino Miculan

Publication date 8 December 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11390/1128033

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4092734
• A structural approach to operational semantics
• scientific article; zbMATH DE number 65532
• Structural operational semantics with first-order logic
• Structured Operational Semantics of a fragment of the language Scheme

Cites work

• A framework for defining logics
• A syntactic approach to type soundness
• scientific article; zbMATH DE number 4180832 (Why is no real title available?)
• scientific article; zbMATH DE number 3909708 (Why is no real title available?)
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 65532 (Why is no real title available?)
• scientific article; zbMATH DE number 3473679 (Why is no real title available?)
• Locations considered unnecessary
• Notions of computation and monads
• Simple consequence relations
• Using typed lambda calculus to implement formal systems on a machine

Cited in

(2)

• scientific article; zbMATH DE number 794263 (Why is no real title available?)
• Automata, Languages and Programming

This page was built for publication: The expressive power of Structural Operational Semantics with explicit assumptions

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