Equivalence of formal semantics definition methods

DOI10.1007/BF01212525zbMath0868.68075OpenAlexW1975908952MaRDI QIDQ1355752

M. J. A. Caswell

Publication date: 28 May 1997

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

structural operational semanticsdenotational semanticsaction semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Consistent and complementary formal theories of the semantics of programming languages
• Proving Properties of Programs by Structural Induction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equivalence of formal semantics definition methods