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

Recommendations

• scientific article; zbMATH DE number 1860661
• From static to dynamic abstract data-types: An institution transformation
• scientific article; zbMATH DE number 743582
• Specification of abstract dynamic-data types: A temporal logic approach
• Transition specifications for dynamic abstract data types

zbMATH Keywords

dynamic abstract data typessemantics of dynamic operations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (13)

• 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
• Modification of the IOTA method for non-hierarchical types
• 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?)

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)