Online partial evaluation for shift and reset

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2002, Pages 19-30

  Asai, Kenichi ^a  

^a OCHANOMIZU UNIVERSITY   (Japan)

Author keywords

Continuation passing style (CPS); CPS transformation; Delimited continuations; Direct style (DS); Online partial evaluation

Indexed keywords

ERROR CORRECTION; KNOWLEDGE BASED SYSTEMS; ONLINE SYSTEMS; PROGRAM INTERPRETERS; SEMANTICS;

CONTINUATION PASSING STYLE INTERPRETER; ONLINE PARTIAL EVALUATION; PARTIAL EVALUATOR;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0036036765     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/503032.503034     Document Type: Conference Paper

References (24)

1. Duplication and partial evaluation - for a better understanding of reflective languages
2. Automatic autoprojection of recursive equations with global variables and abstract data types
3. Improving CPS-based partial evaluation: Writing cogen by hand
4. Back to direct style
5. A functional abstraction of typed contexts
6. Abstracting control
7. Representing control, a study of the CPS transformation
8. Back to direct style II: First-class continuations
9. Identifying profitable specialization in object-oriented languages
10. Typing first-class continuations in ML
11. Representing monads
12. The theory and practice of first-class prompts
13. The essence of compiling with continuations
14. Partial evaluation of computation process - an approach to a compiler-compiler
15. A new approach to abstract syntax involving binders
16. 5 report on the algorithmic language scheme
17. Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation
18. Reasoning about programs in continuation-passing style
19. Towards partial evaluation of full scheme
20. Cogen in six lines
21. Combinators for program generation