scientific article; zbMATH DE number 1418819

zbMath0941.68637MaRDI QIDQ4942101

Răzvan Diaconescu, Joseph A. Goguen

Publication date: 2 April 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (23)

Ultraproducts and possible worlds semantics in institutions ⋮ Quasi-Boolean encodings and conditionals in algebraic specification ⋮ Stratified institutions and elementary homomorphisms ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ Foundations for structuring behavioural specifications ⋮ Coinduction for preordered algebra ⋮ Partialising institutions ⋮ Behavioral Rewrite Systems and Behavioral Productivity ⋮ Behavioral abstraction is hiding information ⋮ Semantic constructions for the specification of objects ⋮ Equational axiomatizability for coalgebra ⋮ Object oriented institutions to specify symbolic computation systems ⋮ Saturated models in institutions ⋮ A declarative framework for object-oriented programming with genetic inheritance ⋮ Sheaves, Objects, and Distributed Systems ⋮ Object-oriented hybrid systems of coalgebras plus monoid actions ⋮ Swinging types=functions+relations+transition systems ⋮ A hidden agenda ⋮ Towards Behavioral Maude ⋮ Behavioural specification for hierarchical object composition ⋮ A hidden Herbrand theorem: Combining the object and logic paradigms ⋮ Observational proofs by rewriting. ⋮ Logical foundations of CafeOBJ

Uses Software

• 2OBJ

This page was built for publication: