scientific article; zbMATH DE number 3581594
From MaRDI portal
Publication:4151143
Cited in
(19)- 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
- Data types with errors and exceptions
- Partial logics reconsidered: A conservative approach
- scientific article; zbMATH DE number 3808983 (Why is no real title available?)
- Higher-order algebra with transfinite types
- GATlab: modeling and programming with generalized algebraic theories
- 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
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 Q4151143)
