Zusammenfassung
Als ältester der drei Autoren möchte ich (H. K.) mich mit dieser Vortragsausarbeitung bei zweien meiner akademischen Lehrer bedanken: bei Herrn Prof. Dr. Dr.h.c. Friedrich L. Bauer anläßlich seinen 65sten Geburtstages, daß er im Rahmen meiner Diplomarbeit, Dissertation etc. einen großen Teil meiner (damals jugendlichen) Neugier in wissenschaftliche Bahnen gelenkt hat; bei Herrn Prof. Dr. Hans Langmaack anläßlich seines 55sten Geburtstages, daß er meine (inzwischen wissenschaftliche) Neugier auf die vorliegende Thematik gelenkt hat.
DFG-Projekt Kr 915/1-1.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
L. Beckman, A. Haraldson, Ö. Oskarsson, E. Sandewall: “A Partial Evaluator and Its Use as a Programming Tool”, Artif. Intellig. 7 (1976), 319–357.
D. Björner, A P. Ershov, N.D. Jones (eds.): “Partial Evaluation and Mixed Computation”, Proceedings of a Workshop at Fyn/Denmark, 1987.
A P Ershov: “On the Partial Computation Principle”, Information Processing Letters 6 (1977), 38–41.
A.P. Ershov: “On the Essence of Compilation”, in: EJ. Neuhold (ed.): ‘Formal Description of Programming Concepts’, North-Holland 1978, 391–420.
D.P. Friedman, D.S. Wise: “CONS should not evaluate its arguments”, in: ‘Automata, Languages and Programming’, Proceedings 3. ICALP, Edinburgh 1976, 257–284.
Y. Futamura: “Partial Evaluation of Computation Process: an Approach to a Compiler-Compiler”, Systems, Computers, Controls 2 (1971), 45–50.
P. Henderson: “Functional Programming, Application and Implementation”, Prentice Hall Int., 1980.
P. Henderson, J.H. Morris jr.: “A Lazy Evaluator”, in: Conference Record of the III ACM Symposium on ‘Principles of Programming Languages’, Atlanta, Georgia, January 1976, 95–103.
N.D. Jones, P. Sestoft, H. Søndergaard: “An Experiment in Partial Evaluation: The Generation of a Compiler Generator”, in: J.-P. Jouannaud (ed.): ‘Rewriting Techniques and Applications’, Proceedings, Lecture Notes in Computer Science LNCS 202, Springer-Verlag 1985, 124–140.
H. Kröger: “Ein Code erzeugender Formalisierungsoperator und seine Anwendung auf LISPInterpretierer”, (1980/81), Bericht Nr. 1/82, Institut für Informatik und Praktische Math., Universität Kiel, 1982.
H. Kröger: “Static-Scope-LISP: Zerlegubg eines Interpretierers in Öbersetzer und Laufzeitsystem”, in: Proceedings der “11. GI-Jahrestagung (München Oktober 1981)”, Informatik-Fachberichte 50, Springer-Verlag 1981, 20–31
H. Kröger:“Compiling of a Generalized LISP-LABEL-Concept by Partial Evaluation”, Institut für Informatik und Prakt. Math., Universität Kiel 1985.
H. Kröger: “A summary of a system for Partial Evaluation, Residual Evaluation,Code Generation and Semantics Directed Compiler Generation”, Bericht Nr. 8505, Institut für Infonnatik und Praktische Math., Universität Kiel, 1985.
H. Kröger: “Report on a ∅-Based Method for Partial Evaluation and Residual Evaluation”, Bericht Nr. 8710, Institut für Informatik und Praktische Math., Universität Kiel, 1987.
L.A. Lombardi, B. Raphael: “LISP as the Language for an Incremental Computer”, in: E.C. Berkeley, D.G. Bobrow (eds.): ‘The Programming Language LISP: Its Operation and Applications’, The MIT Press 1964, fourth printing 1974, 204–219.
L.A. Lombardi: “Incremental Computation”, in: F.L. Alt, M. Rubinoff (eds.): ‘Advances in Computers’, Volume 8, Academic Press 1967, 247–333.
P. Sestoft: “The Structure of a Self-Applicable Partial Evaluator”, Rap. 85/11 (ISSN 0107–8283 ), DIKU, Datalogisk Institut, Københavns Univ., 1985.
V.F. Turchin: “A Supercompiler System Based on the Language REFAL”, SIGPLAN Notices 14 (1979), 46–54.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kröger, H., Meyer, U., Mischnick, A. (1991). Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISP. In: Broy, M. (eds) Informatik und Mathematik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76677-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-76677-0_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-76678-7
Online ISBN: 978-3-642-76677-0
eBook Packages: Springer Book Archive