Programming Languages and Systems

DOI10.1007/11693024MaRDI QIDQ5899008zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

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

(14)

• Bi-inductive structural semantics
• Coinductive big-step operational semantics
• A Coinductive Animation of Turing Machines
• Bi-inductive structural semantics (extended abstract)
• Teaching semantics with a proof assistant: no more LSD trip proofs
• Big-step operational semantics revisited
• Trace-Based Coinductive Operational Semantics for While
• Mechanized Verification of CPS Transformations
• A Hoare logic for the coinductive trace-based big-step semantics of While
• Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: an exercise in mixed induction-coinduction
• Type-based amortized resource analysis with integers and arrays
• Grammar semantics, analysis and parsing by abstract interpretation
• Dependent type refinements for futures
• Transfinite semantics in the form of greatest fixpoint

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)