Zusammenfassung
Für den praktischen Bereich der Programmierung nimmt die Entwicklung korrekter Übersetzer einen lebenswichtigen Platz ein. Die bei der Übersetzerkonstruktion auftretenden Schwierigkeiten haben verschiedene prinzipielle Untersuchungen ausgelöst, so daß der Übersetzerbau zunehmend auch die Aufmerksamkeit der mehr theoretisch durchdrungenen Nachbargebiete auf sich zieht. Man ist seit langem bemüht, die traditionelle per-Hand-Konstruktion von Übersetzern durch (halb-) automatische Methoden zu ersetzen. Dabei sind auf attributierte Grammatiken abgestützte Verfahren (vgl. R. Wilhelm [10]; K.-J. Räihä [9]) unter anderem sehr gebräuchlich. P.D. Mosses [8] benutzt stattdessen eine denotationelle Semantikbeschreibung als Ausgangspunkt für die CompilerErzeugung. Eine andere Methode geht von einer interpretativen Sprachbeschreibung aus und verdient in jüngerer Zeit mehr und mehr Interesse (vgl. u.a.: L.A. Lombardi + B. Raphael [6]; L. Beckman + A. Haraldson + Ö. Oskarsson + E. Sandewall [1]; A.P. Ershov [2,3]; H. Kröger [4,5]).
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 and E. Sandewall, A partial evaluator, and its use as a programming tool, Artificial Intelligence 7 (1976) , 319–357.
A.P. Ershov, On the partial computation principle, Information Processing Letters 6 (1977), 38–41.
A.P. Ershov, On the essence of compilation, IFIP Working Conf. on Formal Description of Programming Concepts, 31 July to 5 August 1977, Saint Andrews, New Brunswick; Volume One, 1.1–1.28.
H. Kröger, A compiler-interpreter-problem, Proceedings of the International Workshop on Semantics of Programming Languages, Bad Honnef, März 1977; Bericht 41, Abteilung Informatik, Universität Dortmund; Seite 60–64.
H. Kröger, Ein Code erzeugender Formalisierungsoperator und seine Anwendung auf LISP-Interpretierer, Habilitationsschrift, Mathematisch-Naturwissenschaftliche Fakultät, Universität Kie1, 1981.
L.A. Lombardi, B. Raphael, LISP as the language for an incremental computer, in ‘The Programming Language LISP: Its Operation and Applications’, ed.: E.C. Berkeley, D.G. Bobrow; The MIT Press, Cambridge, Mass., 1964; fourth printing 1974, 204–219.
J. McCarthy, P.W. Abrahams, D.J. Edwards, T.P. Hart, M.I. Levin, LISP 1.5 Programmer’s Manual, The MIT Press, Cambridge, Mass., 1962; second edition, eight printing 1973.
P.D. Mosses, Compiler generation using denotational semantics, MFCS 1976 Gdansk (ed.: A. Mazurkiewicz), Lecture Notes in Computer Science 45, Springer-Verlag 1976, 436–441.
K.-J. Räihä, On attribute grammars and their use in a compiler writing systemn, Report A-1977–4, Department of Computer Science, University of Helsinki, 1977.
R. Wilhelm, Attributierte Grammatiken, Informatik Spektrum 2 (1979) , 123–130.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kröger, H. (1981). Static-Scope-LISP: Zerlegung Eines Interpretierers in Übersetzer und Laufzeitsystem. In: Brauer, W. (eds) GI — 11. Jahrestagung. Informatik-Fachberichte, vol 50. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01089-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-662-01089-1_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10884-9
Online ISBN: 978-3-662-01089-1
eBook Packages: Springer Book Archive