Publication:3906394
From MaRDI portal
zbMath0456.68024MaRDI QIDQ3906394
Joseph A. Goguen, Rod M. Burstall
Publication date: 1980
68P05: Data structures
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Canonical constraints for parameterized data types, Equational partiality, On the correctness of modular systems, Compatibility of parameter passing and implementation of parameterized data types, Semantics of algorithmic languages, A set-theoretic semantics for Clear, Characterizing specification languages which admit initial semantics, A constructive method for abstract algebraic software specification, On conservative extensions of syntax in system development, A language for configuring multi-level specifications, Codatatypes in ML, E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory, Parametrization for order-sorted algebraic specification, Observational implementation of algebraic specifications, 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, Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories, Structured algebraic specifications: A kernel language, 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, A characterization of passing compatibility for parameterized specifications, Quasi-varieties in abstract algebraic institutions, Crypt-equivalent algebraic specifications, Specifications in an arbitrary institution, Modular algebraic specification of some basic geometrical constructions, Recursion-closed algebraic theories, Algebraic implementation of abstract data types, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, Modularising the specification of a small database system in extended ML, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, OBSCURE, a specification language for abstract data types, Toward formal development of programs from algebraic specifications: Parameterisation revisited, Structured theory presentations and logic representations, Another look at parameterization for oder-sorted algebraic specifications, Functorial theory of parameterized specifications in a general specification framework, Essential concepts of algebraic specification and program development, May I borrow your logic? (Transporting logical structures along maps), Proof systems for structured specifications with observability operators, Institutions for logic programming, Detecting equivalence of modular specifications with categorical diagrams, Maude: specification and programming in rewriting logic, Logical foundations of CafeOBJ, Logical systems for structured specifications., Structured theories and institutions, Category-based modularisation for equational logic programming, Abstract implementation of algebraic specifications in a temporal logic language, Category localization semantics for specification refinements, A higher-order calculus and theory abstraction, Unnamed Item, Unnamed Item
