Results 1 -
3 of
3
Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation
- Journal of Functional Programming
, 2000
"... Our results formalize and confirm a folklore theorem about traditional bindingtime analysis, namely that CPS has a positive effect on binding times. What may be more surprising is that the benefit does not arise from a standard refinement of program analysis, as, for instance, duplicating continuati ..."
Abstract
-
Cited by 25 (9 self)
- Add to MetaCart
Our results formalize and confirm a folklore theorem about traditional bindingtime analysis, namely that CPS has a positive effect on binding times. What may be more surprising is that the benefit does not arise from a standard refinement of program analysis, as, for instance, duplicating continuations.
ML partial evaluation using set-based analysis
- Record of the 1994 ACM SIGPLAN Workshop on ML and its Applications, Rapport de recherche N o 2265, INRIA
, 1994
"... 8313, issued by ESD/AVS under Contract No. F19628-91-C-0168. It was also partially sponsored ..."
Abstract
-
Cited by 10 (4 self)
- Add to MetaCart
8313, issued by ESD/AVS under Contract No. F19628-91-C-0168. It was also partially sponsored
