3558 search results - page 31 / 712 » Object-Oriented Programming on the Network |
TOSEM
1998
13 years 8 months ago
1998
SIAMREV
2010
13 years 3 months ago
2010
VLDB
1991
ACM
14 years 9 days ago
1991
ACM
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
The development of the programming languages Simula I and Simula 67 is briefly described. An attempt is made also to explain the cultural impact of the languages, in particular t...