scientific article; zbMATH DE number 604886

zbMATH Open0810.68097MaRDI QIDQ4299864FDOQ4299864

Fernando Orejas, Hartmut Ehrig

Publication date: 18 April 1995

Title of this publication is not available (Why is that?)

zbMATH Keywords

dynamic abstract data typessemantics of dynamic operations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (12)

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• From static to dynamic abstract data-types: An institution transformation 👍 👎
• Title not available (Why is that?) 👍 👎
• Specification of abstract dynamic-data types: A temporal logic approach 👍 👎
• Transition specifications for dynamic abstract data types 👍 👎

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