scientific article
From MaRDI portal
Publication:3667921
zbMath0518.68009MaRDI QIDQ3667921
Joseph A. Goguen, Rod M. Burstall
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Gordon's computer: A hardware verification case study in OBJ3, Partial evaluation and \(\omega\)-completeness of algebraic specifications, Free semiring-representations and nondeterminism, On the existence of free models in abstract algebraic institutions, On observational equivalence and algebraic specification, Toward formal development of programs from algebraic specifications: Implementations revisited, Quasi-varieties in abstract algebraic institutions, Specification and verification of object-oriented programs using supertype abstraction, Modular algebraic specification of some basic geometrical constructions, Proving and rewriting, Modular rewritable Petri nets: an efficient model for dynamic distributed systems, Codatatypes in ML, Complexity of algebraic implementations for abstract data types, Algebraic implementation of abstract data types, Unnamed Item, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, Characterizing specification languages which admit initial semantics, Parameter passing in algebraic specification languages, Non-deterministic data types: Models and implementations, A systematic study of models of abstract data types
