Bi-inductive structural semantics

DOI10.1016/j.ic.2008.03.025zbMath1165.68042OpenAlexW2071570834MaRDI QIDQ1012127

Radhia Cousot, Patrick Cousot

Publication date: 14 April 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2008.03.025

zbMATH Keywords

relational semanticsstructural operational semanticsgrammarinductive definitionSOSbig-step semanticssmall-step semanticstrace semanticsbi-inductive definitionco-inductive definitiondivergence semanticsfixpoint definitionnon-monotone definition

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Trace-Based Coinductive Operational Semantics for While

Uses Software

• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fixed point theorems and semantics: A folk tale
• Constructive versions of Tarski's fixed point theorems
• 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
• A lattice-theoretical fixpoint theorem and its applications
• Bialgebraic Methods in Structural Operational Semantics
• On a Theorem of R. Jungen
• Abstract interpretation and application to logic programs
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• Systematic design of program transformation frameworks by abstract interpretation
• Abstract Interpretation Frameworks
• Two Families of Languages Related to ALGOL
• An axiomatic basis for computer programming
• Programming Languages and Systems
• An introduction to metric semantics: Operational and denotational models for programming and specification languages

This page was built for publication: Bi-inductive structural semantics