An introduction to online and offline partial evaluation using a simple flowchart language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1706, Issue , 1999, Pages 20-82

  Hatcliff, John ^a  

^a Sunflower Networking Group   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EDUCATION; FLOWCHARTING; SEMANTICS;

BASIC PRINCIPLES; BINDING TIME ANALYSIS; IMPERATIVE LANGUAGES; OFFLINE; OFFLINE PARTIAL EVALUATION; OPERATIONAL SEMANTICS; PARTIAL EVALUATION;

COMPUTATIONAL LINGUISTICS;

EID: 84958610380     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47018-2_2     Document Type: Conference Paper

References (28)

1. Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmeurk, 1994. DIKU Report 94-19.
2. Anders Bondorf and Olivier Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. Science of Computer Programming, 16:151-195, 1991.
3. Charles Consel, Luke Hornof, Prangois Noel, Jacques Noye, and Nicolae Volanschi. A uniform approach for compile-time and run-time specialization. In Proceedings of the 1996 International Seminar on Partial Evaluation, number 1110 in Lecture Notes in Computer Science, pages 54-72, Dagstuhl Ceistle, Germany, February 1996.
4. Charles Consel and Siau Cheng Khoo. Parameterized partial evaluation. ACM Transactions on Programming Languages and Systems, 15(3):463-493, 1993.
5. Cheirles Consel and Frangois Noel. A general approach for run-time specialization and its application to C. In Proceedings of the Twenty-third Annual ACM Symposium on Principles of Programming Languages, pages 145-156, St. Petersburg, FLA USA, January 1996. ACM Press.
6. Olivier Danvy, Robert Gliick, and Peter Thiemann, editors. 1998 Symposium on Partial Evaluation, 1998.
7. Dirk Dussetrt, John Hughes, and Peter Thiemann. Type specialisation for imperative languages. In Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, pages 204-216, Amsterdam, The Netherlands, June 1997. ACM Press.
8. Andrei P. Ershov. On the partizil computation principle. Information Processing Letters, 6(2):41-67, 1977.
9. Andrei P. Ershov. Mixed computation: Potential applications and problems for study. Theoretical Computer Science, 18:41-67, 1982.
10. Robert Gliick and Andrei Kiimov. Occam's razor in meteicomputation: the notion of a perfect process tree. In Patrick Cousot, Moreno Falaschi, Gilberto File, and Antoine Rauzy, editors, Proceedings of the Third International Workshop on Static Analysis WSA'93, volume 724 of Lecture Notes in Computer Science, pages 112-123, Padova, Italy, September 1993.
11. Carsten K. Gomjird and Neil D. Jones. Compiler generation by partiEil evaluation. In G. X. Ritter, editor, Information Processing '89. Proceedings of the IFIP 11th World Computer Congress, pages 1139-1144. IFIP, North-Holland, 1989.
12. John Hatclif. Foundations of peirtial evaluation of functional programs with computational effects. ACM Computing Surveys, 1998. (in press).
13. John Hatcliff and Olivier Danvy. A computational formjilization for peirtial evaluation. Mathematical Structures in Computer Science, 7:507-541, 1997. Special issue devoted to selected papers from the Workshop on Logic, Domains, and Programming Languages. Deurmstadt, Germany. May, 1995.
14. Neil D. Jones. The essence of program transformation by p2irtial evaluation and driving. In Msisahiko Sato Neil D. Jones, Meisami Hagiya, editor, Logic, Language and Computation, a Festschrift in honor of Satoru Takasu, pages 206-224. Springer-Verlag, April 1994.
15. Neil D. Jones, Csusten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall International, 1993.
16. Neil D. Jones, Peter Sestoft, and Harald Sndergaard. MIX: A self-applicable paxtial evaluator for experiments in compiler generation. LISP and Symbolic Computation, 2(l):9-50, 1989.
17. Ulrik J0rring and William L. Scherlis. Compilers and staging transformations. In Mark Scott Johnson and Ravi Sethi, editors. Proceedings of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, pages 86-96, St. Petersburg, Florida, January 1986.
18. Paul Kleinrubatscher, Albert Kriegshaber, Robert Zochling, eind Robert Gliick. Fortran program specialization. SIGPLAN Notices, 30(4):61-70, 1995.
19. Julia L. Lawall and Peter Thiemann. Sound specialization in the presence of computational effects. In Proceedings of Theoretical Aspects of Computer Software, Lecture Notes in Computer Science, September 1997. (to appeeir).
20. M. Marquird and B. Steensga. Pairtizil eveJuation of an object-oriented imperative language. Meter's thesis. University of Copenhagen, Copenhagen, Denmark, 1992.
21. U. Meyer. Techniques for partial evaluation of imperative languages. In Paul Hudak and Neil D. Jones, editors, Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, SIGPLAN Notices, Vol. 26, No 9, pages 94-105, New Haven, Connecticut, June 1991. ACM Press.
22. Flemming Nielson and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
23. Erik Ruf. Topics in online partial evaluation. PhD thesis, Stanford, Palo Alto, California, February 1993.
24. Erik Ruf and Daniel Weise. On the specialization of online program specializers. Journal of Functional Programming, 3, 1993.
25. Morten Heine Sorensen, Robert Gliick, and Neil Jones. A positive supercompiler. Journal of Functional Programming, 6(6):811-838, 1996.
26. Peter Thiemann. A generic framework for partial evaluation of programs with computational effects. In Proceedings of the Seventh European Sym,posium on Programming, 1998.
27. Valentin F. Turchin. The concept of a supercompiler. ACM Transactions on Programming Languages and Systems, 8(3):292-325, 1986.
28. Glynn Winskel. The Formal Semantics of Programming Languages: An Introduction. MIT Press, 1993.