678 search results - page 2 / 136 » A simple typed intermediate language for object-oriented lan... |
121
Voted
FSTTCS
1993
Springer
15 years 8 months ago
1993
Springer
126
click to vote
FPCA
1989
15 years 8 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...
150
click to vote
ECOOP
2005
Springer
15 years 9 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 ...
138
click to vote
LOPSTR
2007
Springer
15 years 10 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...
153
Voted
ESOP
1998
Springer
15 years 8 months ago
1998
Springer