scientific article; zbMATH DE number 3614152
From MaRDI portal
Publication:4178466
Cited in
(23)- Algebraic domain equations
- Parameter passing in algebraic specification languages
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- 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
- Algebraic specifications of computable and semicomputable data types
- Correctness proofs for abstract implementations
- Final algebra semantics and data type extensions
- On the algebra of order
- More on advice on structuring compilers and proving them correct
- Complexity of algebraic implementations for abstract data types
- Regular trees and the free iterative theory
- The extended calculus of constructions (ECC) with inductive types
- Final algebras, cosemicomputable algebras and degrees of unsolvability
- Toward a system's environment for computer assisted programming
- Data types, abstract data types and their specification problem
- Algebraic and operational semantics of specifications allowing exceptions and errors
- Correctness of recursive parallel nondeterministic flow programs
- 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 Q4178466)
