Abstract
The late sixties and early seventies — twenty-five years after the classical work of Zuse and von Neumann — have seen the first crisis in the proud development of computing: large software systems showed alarming deficiencies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.N. Buxton, B. Randell (eds.): Software engineering techniques. NATO Scientific Affairs Division, Bruxelles, 1970
F.L. Bauer, G. Goos: Informatik — Eine einführende Übersicht. 2 Vols. 2nd ed. Springer, 1973, 1974
P.J. Landin: The next 700 programming languages. Comm. ACM 9, 157–166 (1966)
D. Scott: Data types as lattices. SIAM Journal of Computing 5, 522–587 (1976)
D.C. Cooper: The equivalence of certain computations. Computer Journal 9, 45–52 (1966)
F.L. Bauer: Programming Languages under Educational and under Professional Aspects (Russian). In: Proceedings 2nd All-Union Conference on Programming, Novosibirsk, February 1970
E.W. Dijkstra: In honour of Fibonacci. EWD654. In: Lecture Notes of the International Summer School on Program Construction, Marktoberdorf, 1978
H. Partsch, P. Pepper: A family of rules for recursion removal related to the Towers of Hanoi problem. Institut für Informatik der Technischen Universität München, Rep. No. 7612, 1976. Also: Information Processing Letters, 5, 1974 – 1977 (1976)
E.W. Dijkstra: A discipline of programming. Prentice-Hall, Englewood Cliffs, N.J., 1976
H. Egli: A mathematical model for nondeterministic computations. ETH Zürich, 1975
T.A. Matzner: Entwicklung eines Algorithmus für Depth-first-search mit einer einfachen Anwendung. In: Algorithmen und Objektstrukturen. Institut für Informatik der Technischen Universität München, Interner Bericht, 1978
W.P. de Roever: Operational, mathematical and axiomatized semantics for recursive procedures and data structures. Mathematisch Centrum, Amsterdam, 1974
W.A. Wulf, D.B. Russell, A.N. Habermann: BLISS: A language for systems programming. Comm. ACM 14, 780–790 (1971)
F.L. Bauer, H. Partsch, P. Pepper, H. Wössner: Techniques for program development. In: Software Engineering Techniques. Infotech State of the Art Report 34. Maidenhead: Infotech International 1977, p. 25–30
F.L. Bauer: Detailization and lazy evaluation, infinite objects and pointer representation. Lecture Notes of the International Summer School on Program Construction, Marktoberdorf, 1978
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Bauer, F.L. (1978). Design of a programming language for a program transformation system. In: Schindler, S., Giloi, W.K. (eds) GI — 8. Jahrestagung. Informatik-Fachberichte, vol 16. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67091-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-67091-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09038-0
Online ISBN: 978-3-642-67091-6
eBook Packages: Springer Book Archive