Search Sciweavers | Sciweavers

729 search results - page 2 / 146

» Communicating Evolving Algebras

click to vote

EWDW
1990

150views Information Technology» more EWDW 1990»

Semantics of Object-Oriented Data Models - The Evolving Algebra Approach

13 years 9 months ago

Download www.eecs.umich.edu

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

claim paper

Read More »

click to vote

IFIP
1994
Springer

87views Programming Languages» more IFIP 1994»

Evolving Algebras and Linear Time Hierarchy

13 years 9 months ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich

claim paper

Read More »

click to vote

IFIP
1994
Springer

81views Programming Languages» more IFIP 1994»

Evolving Algebras and Partial Evaluation

13 years 9 months ago

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

click to vote

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

13 years 9 months ago

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

click to vote

CSL
1995
Springer

105views Automated Reasoning» more CSL 1995»

An Evolving Algebra Abstract Machine

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers