Programming Languages and Systems
From MaRDI portal
Publication:5899008
DOI10.1007/11693024zbMATH Open1178.68330OpenAlexW2491912653MaRDI QIDQ5899008FDOQ5899008
Authors: Xavier Leroy 
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11693024
Recommendations
- Coinductive big-step operational semantics
- Trace-Based Coinductive Operational Semantics for While
- Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: an exercise in mixed induction-coinduction
- Bi-inductive structural semantics
- Bi-inductive structural semantics (extended abstract)
Cited In (13)
- Coinductive big-step operational semantics
- Bi-inductive structural semantics
- Transfinite semantics in the form of greatest fixpoint
- Type-based amortized resource analysis with integers and arrays
- Mechanized Verification of CPS Transformations
- A Hoare logic for the coinductive trace-based big-step semantics of While
- Big-step operational semantics revisited
- A Coinductive Animation of Turing Machines
- Teaching semantics with a proof assistant: no more LSD trip proofs
- Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: an exercise in mixed induction-coinduction
- Trace-Based Coinductive Operational Semantics for While
- Grammar semantics, analysis and parsing by abstract interpretation
- Bi-inductive structural semantics (extended abstract)
This page was built for publication: Programming Languages and Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899008)
