scientific article; zbMATH DE number 604886

zbMath0810.68097MaRDI QIDQ4299864

Fernando Orejas, Hartmut Ehrig

Publication date: 18 April 1995

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

zbMATH Keywords

dynamic abstract data typessemantics of dynamic operations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

A decade of TAPSOFT ⋮ Relations as abstract datatypes: An institution to specify relations between algebras ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques ⋮ Towards a Double Pushout Transformation of Algebras ⋮ The uniqueness condition for the double pushout transformation of algebras ⋮ From static to dynamic abstract data-types: An institution transformation ⋮ Swinging types=functions+relations+transition systems