7555 search results - page 11 / 1511 » The Type System of DBPL |
146
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
126
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
After two decades of repository development, some conclusions may be drawn as to which type of repository and what kind of service best supports digital scholarly communication, a...
108
Voted
RTA
2010
Springer
15 years 1 months ago
2010
Springer
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...
89
Voted
QUESTA
2000
15 years 3 months ago
2000
68
Voted
IJBC
2002
15 years 3 months ago
2002