678 search results - page 2 / 136 » A simple typed intermediate language for object-oriented lan... |
FSTTCS
1993
Springer
13 years 9 months ago
1993
Springer
FPCA
1989
13 years 9 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
ECOOP
2005
Springer
13 years 10 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
LOPSTR
2007
Springer
13 years 11 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
ESOP
1998
Springer
13 years 9 months ago
1998
Springer