Equivalence of formal semantics definition methods

DOI10.1007/BF01212525MaRDI QIDQ1355752zbMATHOpenAlexFDO

Authors 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

denotational semanticsstructural operational semanticsaction semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• The equivalence of two semantic definitions for inheritance in object-oriented languages
• Operational and semantic equivalence between recursive programs.
• When are different type-logical semantic definitions defining equivalent meanings?
• Fuzzy semantics of programming languages
• On the semantic equivalence of language syntax formalisms

Cites work

• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3909726 (Why is no real title available?)
• scientific article; zbMATH DE number 49477 (Why is no real title available?)
• scientific article; zbMATH DE number 3557184 (Why is no real title available?)
• scientific article; zbMATH DE number 3640837 (Why is no real title available?)
• scientific article; zbMATH DE number 400814 (Why is no real title available?)
• Consistent and complementary formal theories of the semantics of programming languages
• Proving Properties of Programs by Structural Induction

Cited in

(5)

• When are different type-logical semantic definitions defining equivalent meanings?
• The equivalence of two semantic definitions for inheritance in object-oriented languages
• Proving semantical equivalence of data specifications
• A decision procedure for semantical equivalence of thin FM specifications
• Equivalence Checking of Non-deterministic Operations

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

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