Partielle Auswertung einer imperativer Sprache
[1] | N.D. Jones, C.K. Gomard, P. Sestoft: Partial Evaluation and Automatic Program Transformation; Prentice-Hall International, 1993 |
[2] | R.H. Güting, M. Erwig: Übersetzerbau, Kurs 1810, Fernuniversität Hagen, 1997 |
[3] | U. Meyer: Partielle Auswertung imperativer Sprachen; Bericht 9206, Arbeitsgruppe Informatik, Justus-Liebig-Universität Giessen, 1992 |
[4] | Partielle Auswertung für eine Untermenge von Lisp: L. Lombardi, B. Raphael: Lisp as the language for an incremental computer; in: D.G. Bobrow, E.C. Bekeley, Editor, The programming Language Lisp, Ist Operation and Applications, MIT Press, 1964 |
[5] | Partielle Auswertung für imperative Sprachen: A.P. Ershov: On mixed computation: Informal account of the strict and polyvariant computational schemes; in: M. Broy, Editor, Control Flow and Data Flow: Concepts of Distributed Programming; Springer Verlag, 1984 |
[6] | Partielle Auswertung für eine Untermenge von C: L.O. Andersen: Self-applicable C program specialization; in: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Transformation, pp. 54-61, San Francisco, 1992, Yale University, Dept. Of Computer Science (YALEU/DCS/RR-909) |
[7] | Partielle Auswertung für eine C-ähnliche Sprache: V. Nirkhe, W. Pugh: Partial evaluation of high-level imperative programming languages with applications in hard real-time systems; in: Nineteenth ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, Januar 1992, ACM 1992 |
[8] | Partielle Auswertung für Fortran: P. Kleinrubatscher, A. Kriegshaber, R. Zöchling, R. Glück: Fortran Program Specialization; in: Semantikgestützte Analyse, Entwicklung und Generierung von Programmen, Bericht 9402, pp. 45-54, Arbeitsgruppe Informatik, Justus-Liebig-Universität Giessen, 1994 |
[9] | Partielle Auswertung für eine große Untermenge von
Pascal: U. Meyer: Report on a partial evaluator for a large subset of Pascal; Bericht 9201, Arbeitsgruppe Informatik, Justus-Liebig-Universität Giessen, 1992 |
[10] | Forschungsberichte der Arbeitsgruppe Informatik der
Justus-Liebig-Universität Giessen http://www.informatik.uni-giessen.de/Forschung.html |
[11] | Forschungsprojekt Partielle Auswertung imperativer Programme http://www.informatik.uni-giessen.de/Forschung.html |
[12] | Forschungsprojekt Meta-Programmierung, Semantik, Interpretierer, Übersetzer
... http://www.informatik.uni-giessen.de/Forschung.html |
[13] | P. Sestoft Partielle Auswertung und automatische
Programmgenerierung http://www.dina.kvl.dk/~sestoft/pebook/pebook.html |
[14] | Überblick über partielle Auswertung http://www.diku.dk/research-groups/topps/activities/PartialEvaluation.html |