9818 search results - page 324 / 1964 » Much Support and More |
176
click to vote
PLDI
1999
ACM
15 years 11 months ago
1999
ACM
Previous selective dynamic compilation systems have demonstrated that dynamic compilation can achieve performance improvements at low cost on small kernels, but they have had diff...
185
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
206
click to vote
CA
1998
IEEE
15 years 11 months ago
1998
IEEE
Shadows are of great importance to computer graphics, especially for interactive animation due to the visual cues which they provide. Most research in the field of dynamic shadowi...
152
click to vote
SIGCSE
1997
ACM
15 years 11 months ago
1997
ACM
When teaching a course in compiler design, it is conventional to introduce the iterative calculation of least fixed points quite late in the course, in the guise of iterative dat...
209
click to vote
LFCS
1992
Springer
15 years 11 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...