Astesiano, E. and E. Zucca: 1995, `D-oids: a Model for Dynamic Data-Types'. Mathematical Structures in Computer Science 5(2), 257--282. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Theory of Modules with State - Ancona, Zucca (1998) (Correct)
....are constituted by a set of states and a family of dynamic operations which model state transformations; moreover, each possible state of the module is a model in an underlying model part (called static framework) depending on the core language. In other words, we adopt a state as algebra approach [21, 28, 9, 30, 47], considering a state as a structure rather than an individual value. This approach has some useful consequences. First of all, it is possible to give a general theory of modules with state, abstracting from the different concrete notions of state which can arise in practice, in the spirit of the ....
Astesiano, E. and E. Zucca: 1995, `D-oids: a Model for Dynamic Data-Types'. Mathematical Structures in Computer Science 5(2), 257--282.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC