scientific article
From MaRDI portal
Publication:3777431
zbMath0637.68019MaRDI QIDQ3777431
James W. Thatcher, Eric G. Wagner, Stephen L. Bloom
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed pointsalgebraic theoriessyntaxinequationsM-constructionfree theoryalgebraic semantics of programming languages
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (12)
A domain equation for bisimulation ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ A transformational characterization of if-then-else ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization ⋮ Unnamed Item ⋮ Detecting equivalence of modular specifications with categorical diagrams ⋮ A functorial semantics for multi-algebras and partial algebras, with applications to syntax. ⋮ Algebras, polynomials and programs
This page was built for publication:
