1090 search results - page 70 / 218 » Type-Directed Partial Evaluation |
86
Voted
ADC
2004
Springer
15 years 6 months ago
2004
Springer
Web search engines crawl the web to fetch the data that they index. In this paper we re-examine that need, and evaluate the network costs associated with data acquisition, and alt...
96
Voted
ESOP
1990
Springer
15 years 4 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
96
Voted
PEPM
1995
ACM
15 years 4 months ago
1995
ACM
Partial evaluation can turn a general parser into a parser generator. The generated parsers surpass those produced by traditional parser generators in speed and compactness. We us...
89
Voted
DAGSTUHL
1996
15 years 2 months ago
1996
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...
106
click to vote
PRESENCE
2007
15 years 8 days ago
2007
The implementation of telemanipulator systems for cardiac surgery enabled heart surgeons to perform delicate minimally invasive procedures with high precision under stereoscopic v...