Partielle Auswertung einer imperativer Sprache


[Inhalt]Inhaltsverzeichnis [-]5 Zusammenfassung und Ausblick [+]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]

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

[Top]

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

[Top] [+]Titelseite


Copyright © 1998 Ulrich Telle - Letzte Änderung: 1. Februar 1998