scientific article; zbMATH DE number 3614152
From MaRDI portal
Publication:4178466
zbMath0395.68020MaRDI QIDQ4178466
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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, 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, Algebraic domain equations, Parameter passing in algebraic specification languages, A constructive method for abstract algebraic software specification, Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories, A systematic study of models of abstract data types
