scientific article; zbMATH DE number 3714904

Cited in

(86)

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
Stability of termination and sufficient-completeness under pushouts via amalgamation
Abstract implementation of algebraic specifications in a temporal logic language
Category localization semantics for specification refinements
A higher-order calculus and theory abstraction
My ADT shrine
A proof theoretic interpretation of model theoretic hiding
Theory presentation combinators
Heterogeneous Logical Environments for Distributed Specifications
Order-Sorted Parameterization and Induction
Parameterisation for abstract structured specifications
Foundations for structuring behavioural specifications
scientific article; zbMATH DE number 1231537 (Why is no real title available?)
scientific article; zbMATH DE number 1231654 (Why is no real title available?)
An axiomatic approach to structuring specifications
scientific article; zbMATH DE number 1522144 (Why is no real title available?)
scientific article; zbMATH DE number 1525070 (Why is no real title available?)
scientific article; zbMATH DE number 1555491 (Why is no real title available?)
On the existence of translations of structured specifications
Compositionality results for different types of parameterization and parameter passing in specification languages
Proof systems for structured algebraic specifications: An overview
Building Specifications in the Event-B Institution
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
An institution for Object-Z with inheritance and polymorphism
The foundational legacy of ASL
The distributed ontology, modeling and specification language -- DOL
Parchments for CafeOBJ logics
On the algebra of structured specifications
Canonical constraints for parameterized data types
Equational partiality
Building correct-by-construction systems with formal patterns
On the correctness of modular systems
GATlab: modeling and programming with generalized algebraic theories
Rod Burstall: in memoriam (1934--2025)
Structural induction in institutions
Non-deterministic algebraic rewriting as adjunction
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
Quasi-Boolean encodings and conditionals in algebraic specification
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

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 Q3906394)