Sciweavers

EWDW
1990
15 years 25 days ago
Semantics of Object-Oriented Data Models - The Evolving Algebra Approach
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
Georg Gottlob, Gerti Kappel, Michael Schrefl
CSL
1992
Springer
15 years 27 days ago
Communicating Evolving Algebras
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
Paola Glavan, Dean Rosenzweig
IFIP
1994
Springer
15 years 27 days ago
Logic Programming: The Evolving Algebra Approach
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1
Egon Börger
73
Voted
TAPSOFT
1997
Springer
15 years 28 days ago
Specifying Complex and Structured Systems with Evolving Algebras
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
Wolfgang May