Bi-inductive structural semantics

DOI10.1016/J.IC.2008.03.025MaRDI QIDQ1012127zbMATH OpenOpenAlexFDO

Authors Patrick Cousot, Radhia 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

grammarrelational semanticsstructural operational semanticsinductive 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)

Recommendations

• Bi-inductive structural semantics (extended abstract)
• Bi-intuitionistic implication structures
• Structural congruence for bialgebraic semantics
• Structural interactions and absorption of structural rules in BI sequent calculus
• Bialgebraic semantics for logic programming
• Bilateralism in proof-theoretic semantics
• Bilattices and the semantics of logic programming
• Bialgebraic semantics and recursion (extended abstract)
• Bi-approximation semantics for substructural logic at work

Cites work

• scientific article; zbMATH DE number 4074517 (Why is no real title available?)
• scientific article; zbMATH DE number 3679159 (Why is no real title available?)
• scientific article; zbMATH DE number 3602692 (Why is no real title available?)
• scientific article; zbMATH DE number 1241697 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1142321 (Why is no real title available?)
• scientific article; zbMATH DE number 1142329 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3238653 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• A structural approach to operational semantics
• Abstract Interpretation Frameworks
• Abstract interpretation and application to logic programs
• Adding recursive constructs to bialgebraic semantics
• An axiomatic basis for computer programming
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• Bialgebraic methods in structural operational semantics (invited talk)
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Constructive versions of Tarski's fixed point theorems
• Fixed point theorems and semantics: A folk tale
• On a Theorem of R. Jungen
• Programming Languages and Systems
• Systematic design of program transformation frameworks by abstract interpretation
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• The origins of structural operational semantics
• Two Families of Languages Related to ALGOL

Cited in

(8)

• Coinductive big-step operational semantics
• scientific article; zbMATH DE number 18654 (Why is no real title available?)
• Programming Languages and Systems
• Trace-Based Coinductive Operational Semantics for While
• Bi-inductive structural semantics (extended abstract)
• Syntactic and semantic soundness of structural dataflow analysis
• scientific article; zbMATH DE number 1552271 (Why is no real title available?)
• Tie-breaking semantics and structural totality

Describes a project that uses

Uses Software

• ALGOL 60

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

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