Zusammenfassung
Die Informatik ist eine junge Wissenschaft. Selbst weitherzigste Interpretation kann ihr nicht mehr als ein Alter von etwa 30 Jahren zusprechen. Aber schon in dieser kurzen Zeit hat sie sich in einer Breite entwickelt, die sich in einem gedrängten Überblick auch nicht annähernd vollständig wiedergeben läßt. Die hier getroffene Auswahl an Themen aber ist notwendig subjektiv, durch persönliche Interessen und Vorlieben, gefärbt. So werden viele Leser hochwichtige Themen vermissen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literaturverzeichnis
Bauer, F. L.: Programming as an Evolutionary Process. In: Proc. 2nd Int. Conf. on Software Reliability, pp. 223–234. San Francisco 1976
Darlington, J., Burstall, R. M.: A System which Automatically Improves Programs. Acta Informat. 6, 41–60 (1976)
Dijkstra, E.: Notes on Structured Programming. In: Structured Programming (O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare, eds.) pp. 1–82. New York: Academic Press 1972
Dijkstra, E.: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Comm. ACM 18, 453–457 (1975)
Floyd, R.W.: Assigning Meaning to Programs. In: Mathematical Aspects of Computer Science, Proc. Symp. Appl. Math. Vol. XIX (J. T. Schwartz, ed.) pp. 19–32, Providence: AMS 1967
Giloi, W. K.: STARLET, die Realisierung einer Datenstruktur-Architektur. TU Berlin, Fachber. 20 — Informatik, Bericht 78–09, März 1978
Goldstine, H. H., v. Neumann, J.: Planning and Coding Problems for an Electronic Computing Instrument. In: Collected Works of John v. Neumann (A. H. Traub, ed.) pp. 8–235. London: Pergamon Press 1963
Hoare, C. A. R.: An Axiomatic Basis for Computer Programming. Comm. ACM 12, 576–581 (1969)
Hoare, C. A. R., Wirth, N.: An Axiomatic Definition of the Programming Language Pascal. Acta Informat. 2, 335–355 (1973)
Knuth, D.E.: Semantics of Context-free Languages. Math. Syst. Theory 2, 127–145 (1968)
Lagally, K. (Hrsgb.): Das Projekt Betriebssystem BSM. TU München, Inst. f. Informatik, Bericht Nr. 7509, Mai 1975
Lucas, P., et al.: Formal Definition of PL/I. IBM Lab. Vienna, Techn. Rep. TR 25.071
Milne, R., Strachey, Ch.: A Theory of Programming Language Semantic. London: Chapman and Hall 1976
Rutishauser, H.: Automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen. Mitteilg. a.d. Inst. f. Angew. Math, der ETH Zürich Nr. 3. Basel: Birkhäuser 1952
Samelson, K.: Programming Languages and their Processing. In: Information Processing 1962, Proc. IFIP Congr. 62 (C. M. Popplewell, ed.) pp. 487–492. Amsterdam: North-Holland 1963
Scott, D., and Strachey, Ch.: Toward a Mathematical Semantics for Computer Languages. In: Proc. Symp. Computers and Automata, MRI Symp. Ser. Vol.21. Brooklyn, N.Y.: Polytechnic Inst. 1972
Wilhelm, R.: Codeoptimierung mittels attributierter Transformationsgrammatiken. In: GI-4. Jahrestagung, Lect. Notes Comp. Sci., Vol. 26, pp. 257–266. Heidelberg: Springer 1974.
Wirth, N.: The Programming Language Pascal. Acta Informat. 1, 35–63 (1971)
v. Wijngaarden, A., et al.: Revised Report on the Algorithmic Language ALGOL 68. Acta Informat. 5, 1–236 (1975)
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
Samelson, K. (1978). Entwicklungslinien in der Informatik. 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_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-67091-6_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09038-0
Online ISBN: 978-3-642-67091-6
eBook Packages: Springer Book Archive