1072 search results - page 2 / 215 » Object-Oriented Type Inference |
PPDP
2005
Springer
13 years 11 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...
WISE
2000
Springer
13 years 9 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
GI
1997
Springer
13 years 9 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
ICSM
2005
IEEE
13 years 11 months ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
PLDI
1990
ACM
13 years 9 months ago
1990
ACM
