Skip to main content
SpringerLink
Log in

Imperative, Prädikative und Funktionale Programmierung (Kurzfassung)

  • Conference paper
GI-12. Jahrestagung

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 57))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

Bucher: Uberblick über Programmiersprachen verschiedenen Typs

  • T. W. Pratt,: Programming Languages: Design and Implementation, Prentice-Hall (1975)

    MATH  Google Scholar 

  • J. E. Sammet,: Programming Languages: History and Fundamentals, Prentice-Hall (1969)

    MATH  Google Scholar 

  • H. J. Schneider,: Problemorientierte Programmiersprachen, Teubner, Stgt. (1981)

    Google Scholar 

Überblick über Programmkonstruktionsmethoden für mehrere Programmier-sprachentypen

  • A. Biermann, H. Guihot, I. Kodratoff,: Automatic Program Construction Techniques, McMillan (im Druck)

    Google Scholar 

  • F. L. Bauer, H. Wössner,: Algorithmische Sprache und Programmentwicklung, Springer-Verlag (1981)

    Google Scholar 

Ü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

    Google Scholar 

Imperatives Programmieren

  • S. Alagić, M.A. Arbib,: The Design of Well-Structured and Correct Programs, Springer-Verlag (1978)

    Google Scholar 

  • O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare,: Structured Programming, Academic Press (1972)

    Google Scholar 

  • E. W. Dijkstra,: A discipline of programming, Prentice-Hall (1976)

    Google Scholar 

  • R. Hahn,: Höhere Programmiersprachen — Einfuhrung —,Akademische Verlagsgesellschaft, Wiesbaden (1981)

    Google Scholar 

  • N. Wirth,: Systematisches Programmieren, Teubner, Stgt. (1978)

    Google Scholar 

  • N. Wirth,: Algorithmen und Datenstrukturen, Teubner, Stgt. (1979) und viele hundert PASCAL, ALGOL 60, PL/I,…-Böcher.

    Google Scholar 

Prädikatives Programmieren

  • W. F. Clocksin, C. S. Mellish,: Programming in Prolog, Springer-Verlag (1981)

    Google Scholar 

  • R. Kowalski,: Logic for Problem Solving, North Holland (1979)

    Google Scholar 

Sonstige Publikationen

  • W. Bibel,: Pradikatives Programmieren, Lect. Notes Comp. Sc. 33, Springer-Verlag, 274–283, 1975

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • Colmerauer,: Last Steps towards an Ultimate PROLOG, Intl. Joint Conf. on Artificial Intelligence, 1981

    Google Scholar 

  • J. R. Ennals,: An Introduction for Teachers, Publication No. DOC 81/7, 1981, Imperial College, Dep. of Computing, London

    Google Scholar 

  • H. Guihot, Gresse,: Program Synthesis from Incomplete Specifications, Springer Lec. Notes 87

    Google Scholar 

  • R. Kowalski: Predicate Logic as a Programming Language,

    Google Scholar 

  • in Information Processing 74, North Holland, 1974

    Google Scholar 

  • R. Kowalski,: Algorithms = Logic + Control, CACM 22 (7), July 1979

    Google Scholar 

Funktionales Programmieren–Böcher -

  • W. H. Burge,: Recursive Programming Techniques, Addison-Wesley, 1975

    Google Scholar 

  • P. Henderson: Functional Programming: Application and Implementation, Prentice-Hall (1980)

    MATH  Google Scholar 

  • J. Darlington, P. Henderson, A. Turner,: Functional Programming and its Applications,Cambridge University Press (1982)

    Google Scholar 

Lisp

  • J. Allen,: Anatomy of LISP, McGraw-Hill Series in Artificial Intelligence (1978)

    Google Scholar 

  • McCarthy,: LISP 1.5 Programmer’s Manual, MIT Press, Cambridge Mass., 1962

    Google Scholar 

  • H. W. Winston, B. K. P. Horn,: LISP, Addison-Wesley Publ. Comp. (1981)

    Google Scholar 

  • Byte, Special Issue on LISP, Aug. 1979, McGraw Hill

    Google Scholar 

Sonstige Publikationen

  • Tagungsband (ACM 81): ACM 1981 Conf. on Functional Programming Languages and Computer Architecture

    Google Scholar 

  • J. Backus,: Can Programming be literated from the von Neumann Style? A Functional Style and its Algebra of Programs, CACM 21 (8), 1978

    Google Scholar 

  • J. Backus,: Function Level Programs as Mathematical Objects, in (ACM 81)

    Google Scholar 

  • G. Berry,: Programming with Concrete Data Structures and Sequential Algorithms, in (ACM 81)

    Google Scholar 

  • R. M. Burstall, D. B. McQueen, D. F. Sanella,: HOPE: An Experimental Applicative Language, LISP Conference, Stanford 1980

    Google Scholar 

  • J. Guttag, J. Horning, J. Williams,: FP with Data Abstraction and Strong Typing, in (ACM 81)

    Google Scholar 

  • R. M. Keller, G. Lindstrom,: Applications of Feedback in Functional Programming, in (ACM 81)

    Google Scholar 

  • B. Nordström,: Programming in Constructive Set Theory: Some Examples in (ACM 81)

    Google Scholar 

  • D. A. Turner,: The Semantic Elegance of Applicative Languages, in (ACM 81)

    Google Scholar 

  • D. A. Turner,: The Future of Applicative Programming, 3rd ECI-Conf., Springer Lec. Notes 123, 1982

    Google Scholar 

Datenflußsprachen

  • IEEE 82), IEEE Computer, Feb. 82, Data Flow Systems

    Google Scholar 

  • W. B. Ackerman,: Data Flow Languages, in (IEEE 82)

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • E. A. Ashcroft, W. W. Wadge,: LUCID, a nonprocedural language with iteration, Commun. ACM 20, 7 (July 1977), 519–526

    Article  MATH  Google Scholar 

  • J. B. Dennis,: Data-flow supercomputers, Computer 13, 11 (Nov. 80 ), 48–56

    Google Scholar 

  • O. Gelly,,: LAU software ’: A high level data driven language for parallel programming, in Proc. 1976, Int. Conf. Parallel Processing (Aug. 76 ), p. 255

    Google Scholar 

  • 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FB 10 — Informatik, Universität des Saarlandes, D-6600, Saarbrücken, Germany

    Reinhard Wilhelm

Authors
  1. Reinhard Wilhelm
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Kaiserslautern, Kaiserslautern, Postfach 3049, 6750, Germany

    Jürgen Nehmer

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation