scientific article; zbMATH DE number 3581594

zbMath0373.68024MaRDI QIDQ4151143

Joseph A. Goguen

Publication date: 1978

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Structured algebraic specifications: A kernel language, Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors, On the existence of free models in abstract algebraic institutions, On observational equivalence and algebraic specification, Quasi-varieties in abstract algebraic institutions, Crypt-equivalent algebraic specifications, Specifications in an arbitrary institution, Semantics of nondeterminism, concurrency, and communication, Unnamed Item, Higher-order algebra with transfinite types, Data types with errors and exceptions, Partial logics reconsidered: A conservative approach, Equational type logic, Algebraic and operational semantics of specifications allowing exceptions and errors, A set-theoretic semantics for Clear, A linear-history semantics for languages for distributed programming, A constructive method for abstract algebraic software specification, A systematic study of models of abstract data types