Practical aspects of specialization of algol-like programs

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

Volumn 1110, Issue , 1996, Pages 17-32

  Bulyonkov, Mikhail A ^a   Kochetov, Dmitry V ^a  

^a A P ERSHOV INSTITUTE OF INFORMATICS SYSTEMS   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MODULA (PROGRAMMING LANGUAGE);

CONFIGURATION ANALYSIS; IMPERATIVE LANGUAGES; MEMORY SHARED; MEMORY USAGE;

ALGOL (PROGRAMMING LANGUAGE);

EID: 21344458765     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61580-6_2     Document Type: Conference Paper

References (13)

1. Andersen, L.O.: Partial evaluation of C and automatic compiler generation. LNCS 641 (1992) 251-257.
2. Andersen, L.O.: Self-applicable C program specialization. In Procs. of the Partial Evaluation and Semantics-Based Program Manipulation'92 (1992) 54-61.
3. Baier, R., Gluck R., Zochling, R.: Partial evaluation of numerical programs in Fortran. In Procs. of the Partial Evaluation and Semantics-Based Program Ma-nipulation'94 (1994) 119-132.
4. Barzdin, G.Ja., Bulyonkov, M.A.: Mixed computation and compilation: Linearization and decomposition of a compiler. Computing Center, Siberian Branch of the USSR Academy of Sciences Preprint 791 (1988) (In Russian).
5. Blazy, S., Facon, P.: Partial evaluation for the understanding of Fortran programs. In Procs. of the Software Engineering and Knowledge Engineering'93 (1993) 517-525.
6. Bulyonkov M.A., Ershov, A.P.: How do ad-hoc compiler constructs appear in universal mixed computation processes? In Procs. of the Workshop Partial Evaluation and Mixed Computation (1988) 65-81.
7. Ershov, A.P., Itkin, V.E.: Correctness of mixed computation in Algol-like programs. LNCS 53 (1977) 59-77.
8. Ershov, A.P.: Mixed computation: Potential applications and problems for study. Theor. Comp. Sc. 18 (1982) 41-67.
9. Itkin, V.E.: An algebra and axiomatization system of mixed computation. In Procs. of the Workshop Partial Evaluation and Mixed Computation (1988) 209-224.
10. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Englewood Cliffs, NJ: Prentice Hall, 1993.
11. Jones, N.D.: Automatic program specialization: A re-examination from basic principles. In Procs. of the Workshop Partial Evaluation and Mixed Computation (1988) 225-282.
12. Marquard, M., Steensgaard, B.: Partial evaluation of an object-oriented imperative language. Master's thesis, DIKU, University of Copenhagen, Denmark, April 1992.
13. Ostrovski, B.N.: Implementation of controlled mixed computation in system for automatic development of language-oriented parsers. In Procs. of the Workshop Partial Evaluation and Mixed Computation (1988) 385-403