| | |
| Title: | Partielle Auswertung einer einfachen imperativen Sprache | |
| Home deutsch | ||
| ||
 |
Partielle Auswertung einer imperativer Sprache
![[Inhalt]](Images/redtoc.gif){kind=small}
Inhaltsverzeichnis
![[-]](Images/redprev.gif){kind=small}
5 Zusammenfassung und Ausblick
![[+]](Images/rednext.gif){kind=small}
Titelseite
A Literatur und Links
A.1 Basisliteratur
| [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 |
![[Top]](Images/IS.GIF){kind=small}
A.2 Weiterführende Literatur
| [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 |
A.3 Links im Internet
| [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 |
![[+]](Images/IR.GIF){kind=small}
Titelseite
Back to the topic sites:
ScientificPublication.com/Startseite/Informatik
StudyPaper.com/Startseite/Computer/Informatik
External Links to this site are permitted without prior consent.
