Zusammenfassung
In dieser Arbeit soll ein algebraisches Verfahren vorgestellt werden, mit dem das Problem, die Korrektheit von Kompilern einfacher Programmiersprachen zu beweisen, behandelt werden kann. Es lehnt sich an eine Arbeit von Morris [6] an, die auf Ergebnissen von Burstall und Landin [2], [3], [5] aufbaut. In [7] ist dieses gegenüber [6] weiterentwickelte Verfahren ausführlich dargestellt.
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
Birkhoff, G., Lipson, J.D.: Heterogeneous Algebras. J. Comb. Theory 8, 115–133 (1970)
Burstall, R.M., Landin,P.J.: Programs and their Proofs: an Algebraic Approach. Mach. Int. 4, 17–43 (1969)
Burstall, R.M.: An Algebraic Description of Programs with Assertions, Verification, and Simulation. SIGPLAN Notices 7, 1, 7–14 (1972)
Hotz, G.: Grundlagen einer Theorie der Programmiersprachen. Berichte des Inst. f. Angew. Math, u. Inform. Universität des Saarlandes, Saarbrücken, (1970)
Landin, P.J.: A Program Machine Symmetric Automata Theory. Mach. Int. 5, 99–120 (1970)
Morris, F.L.: Correctness of Translations of Programming Languages. AIM 174, Stanford University, (1972)
Schmeck, H.: Korrektheit von Übersetzungen. Bericht Nr. 3/75 des Inst. f. Inform, u. Prakt. Math., Universität Kiel, (1975)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Schmeck, H. (1976). Ein Algebraischer Ansatz für Kompilerkorrektheitsbeweise. In: Schneider, HJ., Nagl, M. (eds) Programmiersprachen. Informatik-Fachberichte, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66319-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-66319-2_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07619-3
Online ISBN: 978-3-642-66319-2
eBook Packages: Springer Book Archive