scientific article

zbMath0513.68071MaRDI QIDQ3659173

Peter D. Mosses

Publication date: 1983

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraically- specified abstract data typesformal description of programming language semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (5)

Generalized algebraic theories and contextual categories ⋮ Category-sorted algebra-based action semantics ⋮ Action Semantics in Retrospect ⋮ Action Algebras and Model Algebras in Denotational Semantics ⋮ On a generalized product for domains

This page was built for publication: