Pages that link to "Item:Q4856662"
From MaRDI portal
The following pages link to D-oids: a model for dynamic data-types (Q4856662):
Displaying 5 items.
- From static to dynamic abstract data-types: An institution transformation (Q1285655) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract) (Q2365396) (← links)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
- Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)