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)

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

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)