Search Sciweavers | Sciweavers

729 search results - page 2 / 146

» Communicating Evolving Algebras

176

click to vote

EWDW
1990

150views Information Technology» more EWDW 1990»

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

15 years 10 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 »

122

click to vote

IFIP
1994
Springer

87views Programming Languages» more IFIP 1994»

Evolving Algebras and Linear Time Hierarchy

15 years 10 months ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich

claim paper

Read More »

130

click to vote

IFIP
1994
Springer

81views Programming Languages» more IFIP 1994»

Evolving Algebras and Partial Evaluation

15 years 10 months ago

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

131

click to vote

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 10 months ago

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

128

click to vote

CSL
1995
Springer

105views Automated Reasoning» more CSL 1995»

An Evolving Algebra Abstract Machine

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers