Zusammenfassung
Es werden im folgenden kurz die Werkzeuge charakterisiert, mit denen man imperativ, prädikativ oder funktional programmiert, nämlich die Programmiersprachen des jeweiligen Typs.
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
Bibliographie
Bucher: Uberblick über Programmiersprachen verschiedenen Typs
T. W. Pratt,: Programming Languages: Design and Implementation, Prentice-Hall (1975)
J. E. Sammet,: Programming Languages: History and Fundamentals, Prentice-Hall (1969)
H. J. Schneider,: Problemorientierte Programmiersprachen, Teubner, Stgt. (1981)
Überblick über Programmkonstruktionsmethoden für mehrere Programmier-sprachentypen
A. Biermann, H. Guihot, I. Kodratoff,: Automatic Program Construction Techniques, McMillan (im Druck)
F. L. Bauer, H. Wössner,: Algorithmische Sprache und Programmentwicklung, Springer-Verlag (1981)
Überblick über die Architekturen, welche imperativen, funktionalen und Datenflufisprachen zugrunde liegen
P. C. Treleaven, D. R. Brownbridge, R. P. Hopkins,: Daten-Driven and Demand-Driven Computer Architecture, ACM Comp. Surveys, 14 (1), 1982
Imperatives Programmieren
S. Alagić, M.A. Arbib,: The Design of Well-Structured and Correct Programs, Springer-Verlag (1978)
O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare,: Structured Programming, Academic Press (1972)
E. W. Dijkstra,: A discipline of programming, Prentice-Hall (1976)
R. Hahn,: Höhere Programmiersprachen — Einfuhrung —,Akademische Verlagsgesellschaft, Wiesbaden (1981)
N. Wirth,: Systematisches Programmieren, Teubner, Stgt. (1978)
N. Wirth,: Algorithmen und Datenstrukturen, Teubner, Stgt. (1979) und viele hundert PASCAL, ALGOL 60, PL/I,…-Böcher.
Prädikatives Programmieren
W. F. Clocksin, C. S. Mellish,: Programming in Prolog, Springer-Verlag (1981)
R. Kowalski,: Logic for Problem Solving, North Holland (1979)
Sonstige Publikationen
W. Bibel,: Pradikatives Programmieren, Lect. Notes Comp. Sc. 33, Springer-Verlag, 274–283, 1975
W. Bibel, U. Furbach, J. Schreiber,: On strategies for the synthesis of algorithms in Proc. 5th GI-conf. on Programming Languages, K. Alber (ed.), Informatik-Fachberichte 12, Springer-Verlag, 97–109, 1978
K. L. Clark, F. G. McCabe,: Prolog: A Language for Implementing Expert Systems, Technical Report: DOC 80/21 (1980), Imperial College, Dep. of Computing, London
Colmerauer,: Last Steps towards an Ultimate PROLOG, Intl. Joint Conf. on Artificial Intelligence, 1981
J. R. Ennals,: An Introduction for Teachers, Publication No. DOC 81/7, 1981, Imperial College, Dep. of Computing, London
H. Guihot, Gresse,: Program Synthesis from Incomplete Specifications, Springer Lec. Notes 87
R. Kowalski: Predicate Logic as a Programming Language,
in Information Processing 74, North Holland, 1974
R. Kowalski,: Algorithms = Logic + Control, CACM 22 (7), July 1979
Funktionales Programmieren–Böcher -
W. H. Burge,: Recursive Programming Techniques, Addison-Wesley, 1975
P. Henderson: Functional Programming: Application and Implementation, Prentice-Hall (1980)
J. Darlington, P. Henderson, A. Turner,: Functional Programming and its Applications,Cambridge University Press (1982)
Lisp
J. Allen,: Anatomy of LISP, McGraw-Hill Series in Artificial Intelligence (1978)
McCarthy,: LISP 1.5 Programmer’s Manual, MIT Press, Cambridge Mass., 1962
H. W. Winston, B. K. P. Horn,: LISP, Addison-Wesley Publ. Comp. (1981)
Byte, Special Issue on LISP, Aug. 1979, McGraw Hill
Sonstige Publikationen
Tagungsband (ACM 81): ACM 1981 Conf. on Functional Programming Languages and Computer Architecture
J. Backus,: Can Programming be literated from the von Neumann Style? A Functional Style and its Algebra of Programs, CACM 21 (8), 1978
J. Backus,: Function Level Programs as Mathematical Objects, in (ACM 81)
G. Berry,: Programming with Concrete Data Structures and Sequential Algorithms, in (ACM 81)
R. M. Burstall, D. B. McQueen, D. F. Sanella,: HOPE: An Experimental Applicative Language, LISP Conference, Stanford 1980
J. Guttag, J. Horning, J. Williams,: FP with Data Abstraction and Strong Typing, in (ACM 81)
R. M. Keller, G. Lindstrom,: Applications of Feedback in Functional Programming, in (ACM 81)
B. Nordström,: Programming in Constructive Set Theory: Some Examples in (ACM 81)
D. A. Turner,: The Semantic Elegance of Applicative Languages, in (ACM 81)
D. A. Turner,: The Future of Applicative Programming, 3rd ECI-Conf., Springer Lec. Notes 123, 1982
Datenflußsprachen
IEEE 82), IEEE Computer, Feb. 82, Data Flow Systems
W. B. Ackerman,: Data Flow Languages, in (IEEE 82)
W. B. Ackerman, J. B. Dennis,: VAL-A value oriented algorithmic language, preliminary reference manual, Tech. Rep. TR-218, Lab. for Computer Science, Massachusetts Institute of Technology, June 1979
Arvind, K. P. Gostelow, W. Plouffe,: An asynchronous programming language and computing machine, Tech. Rep. 114a, Dep. Information and Computer Science, Univ. of California, Irvine, Dec. 1978
E. A. Ashcroft, W. W. Wadge,: LUCID, a nonprocedural language with iteration, Commun. ACM 20, 7 (July 1977), 519–526
J. B. Dennis,: Data-flow supercomputers, Computer 13, 11 (Nov. 80 ), 48–56
O. Gelly,,: LAU software ’: A high level data driven language for parallel programming, in Proc. 1976, Int. Conf. Parallel Processing (Aug. 76 ), p. 255
A. Plas,: LAU ’ architecture: A parallel data driven processor based on single assignment, in Proc. 1976, Int. Conf. Parallel Processing (Aug. 76 ), pp. 293–302
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wilhelm, R. (1982). Imperative, Prädikative und Funktionale Programmierung (Kurzfassung). In: Nehmer, J. (eds) GI-12. Jahrestagung. Informatik-Fachberichte, vol 57. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68603-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-68603-0_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11609-7
Online ISBN: 978-3-642-68603-0
eBook Packages: Springer Book Archive