scientific article
From MaRDI portal
Publication:3906394
zbMath0456.68024MaRDI QIDQ3906394
Joseph A. Goguen, Rod M. Burstall
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (82)
Structured theory presentations and logic representations ⋮ A language for configuring multi-level specifications ⋮ Structured algebraic specifications: A kernel language ⋮ My ADT Shrine ⋮ A Proof Theoretic Interpretation of Model Theoretic Hiding ⋮ On the existence of free models in abstract algebraic institutions ⋮ Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ Structured theories and 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 ⋮ Another look at parameterization for oder-sorted algebraic specifications ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Crypt-equivalent algebraic specifications ⋮ Proof systems for structured algebraic specifications: An overview ⋮ Quasi-Boolean encodings and conditionals in algebraic specification ⋮ Theory Presentation Combinators ⋮ Building Specifications in the Event-B Institution ⋮ Heterogeneous Logical Environments for Distributed Specifications ⋮ Order-Sorted Parameterization and Induction ⋮ A higher-order calculus and theory abstraction ⋮ Category localization semantics for specification refinements ⋮ Category-based modularisation for equational logic programming ⋮ Specifications in an arbitrary institution ⋮ Modular algebraic specification of some basic geometrical constructions ⋮ Essential concepts of algebraic specification and program development ⋮ Parameterisation for abstract structured specifications ⋮ Unified Algebras and action semantics ⋮ First order data types and first order logic ⋮ Logic representation in LF ⋮ Detecting isomorphisms of modular specifications with diagrams ⋮ Relations as abstract datatypes: An institution to specify relations between algebras ⋮ Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives ⋮ Algebraic methods in the compositional analysis of logic programs ⋮ May I borrow your logic? (Transporting logical structures along maps) ⋮ Proof systems for structured specifications with observability operators ⋮ Institutions for logic programming ⋮ The Distributed Ontology, Modeling and Specification Language – DOL ⋮ Foundations for structuring behavioural specifications ⋮ An axiomatic approach to structuring 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 ⋮ Recursion-closed algebraic theories ⋮ Observational implementation of algebraic specifications ⋮ Algebraic implementation of abstract data types ⋮ Stability of termination and sufficient-completeness under pushouts via amalgamation ⋮ On the existence of translations of structured specifications ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Unnamed Item ⋮ Modularising the specification of a small database system in extended ML ⋮ On the correctness of modular systems ⋮ Parchments for CafeOBJ Logics ⋮ Unnamed Item ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations ⋮ On the algebra of structured specifications ⋮ Structural induction in institutions ⋮ Canonical constraints for parameterized data types ⋮ Abstract implementation of algebraic specifications in a temporal logic language ⋮ Equational partiality ⋮ Compatibility of parameter passing and implementation of parameterized data types ⋮ Semantics of algorithmic languages ⋮ Detecting equivalence of modular specifications with categorical diagrams ⋮ A set-theoretic semantics for Clear ⋮ Characterizing specification languages which admit initial semantics ⋮ Algebraic domain equations ⋮ Parameter passing in algebraic specification languages ⋮ An Institution for Object-Z with Inheritance and Polymorphism ⋮ The Foundational Legacy of ASL ⋮ A constructive method for abstract algebraic software specification ⋮ Logical systems for structured specifications. ⋮ 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 ⋮ On conservative extensions of syntax in system development ⋮ Maude: specification and programming in rewriting logic ⋮ Logical foundations of CafeOBJ ⋮ OBSCURE, a specification language for abstract data types ⋮ Toward formal development of programs from algebraic specifications: Parameterisation revisited
This page was built for publication:
