Bi-inductive structural semantics
DOI10.1016/J.IC.2008.03.025zbMATH Open1165.68042OpenAlexW2071570834MaRDI QIDQ1012127FDOQ1012127
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
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
grammarrelational semanticsstructural operational semanticsinductive definitionSOSbig-step semanticssmall-step semanticstrace semanticsbi-inductive definitionco-inductive definitiondivergence semanticsfixpoint definitionnon-monotone definition
Cites Work
- Constructive versions of Tarski's fixed point theorems
- A structural approach to operational semantics
- A lattice-theoretical fixpoint theorem and its applications
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Abstract interpretation and application to logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Adding recursive constructs to bialgebraic semantics
- Bialgebraic methods in structural operational semantics (invited talk)
- The origins of structural operational semantics
- Systematic design of program transformation frameworks by abstract interpretation
- Two Families of Languages Related to ALGOL
- Title not available (Why is that?)
- On a Theorem of R. Jungen
- Abstract Interpretation Frameworks
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Programming Languages and Systems
- Fixed point theorems and semantics: A folk tale
- Title not available (Why is that?)
- The Mathematical Import of Zermelo's Well-Ordering Theorem
Cited In (8)
- Coinductive big-step operational semantics
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Tie-breaking semantics and structural totality
Uses Software
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)
