scientific article; zbMATH DE number 1086715

MaRDI QIDQ4362964zbMATH OpenFDO

Authors Daniele Turi

Publication date 13 November 1997

zbMATH Keywords

modularityguardednessoperational semanticsguarded recursive programs

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)

Recommendations

• Modularity and implementation of mathematical operational semantics
• Category theory for operational semantics
• Comodels and effects in mathematical operational semantics
• New approach to categorical semantics for procedural languages
• A category theoretic view of nondeterministic recursive program schemes

Cited in

(11)

• Adding recursive constructs to bialgebraic semantics
• Lambek's operational categories
• A proposed categorical semantics for ML modules
• Fully Abstract and Robust Compilation
• Universal coalgebra: A theory of systems
• Well-behaved translations between structural operational semantics
• scientific article; zbMATH DE number 4014080 (Why is no real title available?)
• Bialgebras for structural operational semantics: an introduction
• Modularity and implementation of mathematical operational semantics
• New approach to categorical semantics for procedural languages
• GSOS for probabilistic transition systems (extended abstract)

This page was built for publication:

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