D-oids: a model for dynamic data-types

DOI10.1017/S0960129500000736zbMath0839.68062MaRDI QIDQ4856662

Elena Zucca, Egidio Astesiano

Publication date: 28 May 1996

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

dynamic systemsstatic data structures

Mathematics Subject Classification ID

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

Related Items (5)

An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract) ⋮ 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 ⋮ From static to dynamic abstract data-types: An institution transformation

Cites Work

• Higher order data types

This page was built for publication: D-oids: a model for dynamic data-types