1087 search results - page 62 / 218 » Eta-Redexes in Partial Evaluation |
159
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modu...
176
click to vote
PADO
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
130
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...
166
click to vote
EMNLP
2009
15 years 4 months ago
2009
Set expansion refers to expanding a partial set of "seed" objects into a more complete set. One system that does set expansion is SEAL (Set Expander for Any Language), w...
180
click to vote
CC
2012
Springer
14 years 1 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...