Bi-inductive Structural Semantics

DOI10.1016/j.entcs.2007.08.015zbMath1278.68141OpenAlexW1974512609MaRDI QIDQ2871828

Radhia Cousot, Patrick Cousot

Publication date: 10 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.08.015

zbMATH Keywords

relational semanticsstructural operational semanticsabstractioninductive definitionSOSbig-step semanticssmall-step semanticstrace semanticsbi-inductive definitionco-inductive definitiondivergence semanticsfixpoint definition

Mathematics Subject Classification ID

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

Related Items

Coinductive big-step operational semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• The origins of structural operational semantics
• Adding recursive constructs to bialgebraic semantics
• A structural approach to operational semantics
• Bialgebraic Methods in Structural Operational Semantics
• Abstract Interpretation Frameworks
• An axiomatic basis for computer programming
• Programming Languages and Systems
• An introduction to metric semantics: Operational and denotational models for programming and specification languages