Skip to main content
SpringerLink
Log in

Automatisches Programmieren

  • Chapter
Artificial Intelligence — Eine Einführung

Part of the book series: Leitfäden der angewandten Informatik ((XLAI,volume 2))

Zusammenfassung

Programmieren (algorithmisches Problemlösen) ist die Tätigkeit, die von einer Problembeschreibung (Problemspezifikation) zu einem auf einer Maschine ausführbaren Algorithmus (Programm, Lösungsverfahren) führt. Zu Beginn des Computerzeitalters vor nunmehr ca. 40 Jahren mußten alle Schritte beim Programmieren von der Problemspezifikation his zum Programm in der Internsprache des verwendeten Computers vom Menschen ausgeführt werden. Die Entwicklung der Informatik seither kann wesentlich durch den Fortschritt charakterisiert werden, der bei der Unterstützung des Programmierens durch den Computer selbst erzielt wurde. Immer mehr Teilschritte des Programmiervorganges werden als Routinevorgänge erkannt und dementsprechend als vom Computer durchführbare Aufgaben dem Menschen abgenommen, sodaß sich der menschliche Problemlöser immer mehr auf wesentliche, kreative, höhere, zentralere, universellere Aspekte des Problemlösens konzentrieren und beschränken kann.

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 49.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.

Literatur

  • Barr A., Feigenbaum E. A.: The Handbook of Artificial Intelligence. Vol. II, Heuristech Press, Stanford; 1982.

    Google Scholar 

  • Bauer F. L. und CIP Language Group: The Munich Project CIP, Vol.I: The Wide Spectrum Language 85. Bericht, Technische Universität München, Institut für Informatik; Dezember 1983.

    Google Scholar 

  • Bibel W.: Syntax-Directed, Semantics-Supported Program Synthesis. Artificial Intelligence 14, 243–261; 1980.

    Article  Google Scholar 

  • Biermann A. W.: Automated Programming: A Tutorial in Formal Methodologies. Journal of Symbolic Computation, 1 /2, 119–142; 1985.

    Article  MATH  Google Scholar 

  • Biermann A. W., Guiho G. (Hsg.): Computer Program Synthesis Methodologies. Proc. of the NATO Advanced Study Institute, Bonas, September 1981, Reidel Publ. Comp., Dodrecht, Boston, London; 1983.

    Google Scholar 

  • Boyer R. S., Moore J. S.: A Computational Logic. Academic Press, New York - London; 1979.

    Google Scholar 

  • Buchberger B.: Ein algorithmisches Kriterium für die Lösbarkeit algebraischer Gleichungssysteme. Aequationes mathematicae 4(3), 374–383; 1970. ( Publikation der Dissertation, Univ. Innsbruck, 1965 ).

    Google Scholar 

  • Buchberger B.: Studienschwerpunkt CAMP (Computer-Aided Mathematical Problem Solving) an der Universität Linz. Bericht Nr. CAMP 82–4. 1, Institut für Mathematik, Universität Linz; 1982.

    Google Scholar 

  • Buchberger B.: Gröbner-Bases: An Algorithmic Method in Polynomial Ideal Theory. In: Multidimensional Systems Theory (N. K. Bose Hsg.), D. Reidel Publ. Comp., Dodrecht, Boston, London, 184–232; 1985.

    Google Scholar 

  • Buchberger B., Collins G. E., Loos R.: Computer-Algebra (Symbolic and Algebraic Computation). Springer-Verlag, Wien - New York; 1982 (2. Auflage 1983 ).

    Google Scholar 

  • Buchberger B., Lichtenberger F.: Mathematik für Informatiker I (Die Methode der Mathematik). Springer-Verlag, Berlin - Heidelberg - New York; 1980 (2. Auflage 1981 ).

    Google Scholar 

  • Burstall R. M., Darlington J.: A Transformation System for Developing Recursive Programs. J. ACM 24 (1), 1977.

    Google Scholar 

  • Clark K. L., McCabe F. G.: Micro-Prolog: Programming in Logic. Prentice-Hall, Engelwood Cliffs, N.J.; 1984.

    Google Scholar 

  • Clark K. L., Tarnlund S.-A. (Hsg.): Logic Programming. Academic Press, London; 1982.

    MATH  Google Scholar 

  • Clocksin W. F., Mellish C. S.: Programming in Prolog. Springer, Berlin - Heidelberg - New York; 1981.

    MATH  Google Scholar 

  • Darlington J.: The Synthesis of Implementations for Abstract Data Types, A Program Transformation Tactic. In ( Biermann, Guiho 1983 ), 309–334.

    Google Scholar 

  • Darlington J., Burstall R. M.: A System which Automatically Improves Programs. Acta Informatica 6, 41–60; 1976.

    Article  MATH  Google Scholar 

  • Gerhart S. L. and AFFIRM group: An Overview of AFFIRM: A Specification and Verification System. Proc. of the IFIP Congress 1980 (Lavington S. H. Hsg.), 343–347; 1980.

    Google Scholar 

  • Goad C. A.: Automatic Construction of Special Purpose Programs. Proc. 6th Conference on Automated Deduction, Springer Lecture Notes in Computer Science 138 ( Loveland D. W. Hsg. ), Berlin - Heidelberg - New York - Tokyo; 1982.

    Google Scholar 

  • Gordon M. J., Milner A. J., Wadsworth C. P.: Edinburgh LCF. Lecture Notes in Computer Science 78, Springer, Berlin; 1979.

    Google Scholar 

  • Greibach S. A.: Theory of Program Structures: Schemes, Semantics, Verification. Lecture Notes in Computer Science 36, Springer, Berlin - Heidelberg - New York; 1975.

    Google Scholar 

  • Hesse W.: Methoden und Werkzeuge für Software-Entwicklung: Ein Marsch durch die Technologie-Landschaft. Informatik-Spektrum 4 (4), 229–245; 1981.

    Google Scholar 

  • Jouannaud J.-P., Kodratoff Y.: Program Synthesis from Examples of Behavior. In: ( Biermann, Guiho 1983 ), 213–250.

    Google Scholar 

  • JSC 1985: Journal of Symbolic Computation (Herausgeber: R. Buch-berger et al.), Vol.1 ff. Academic Press London; 1985ff.

    Google Scholar 

  • Knuth D. E., Bendix P. B.: Simple Word Problems in Universal Algebras. Proc. of the Conf. on Computational Problems in Abstract Algebra, Oxford 1967 (Leech J., Hsg.), 263–298, Pergamon Press, Oxford; 1970.

    Google Scholar 

  • Kowalski R.: Logic for Problem Solving. North-Holland, New York - Oxford; 1979.

    MATH  Google Scholar 

  • Kutzler B., Lichtenberger F.: Bibliography on Abstract Data Types. Informatik Fachberichte 68, Springer, Berlin - Heidelberg - New York - Tokyo; 1983.

    Google Scholar 

  • Lescanne P.: Computer Experiments With the REVE Term Rewriting System Generator. Proc. of the Principles of Programming Languages Conference; 1983.

    Google Scholar 

  • Luckham D. C. and PASCAL Verifier Group: Stanford PASCAL Verifier User Manual. Stanford, Computer Science Department, Report No. STAN-CS-79–731; 1979.

    Google Scholar 

  • Manna Z., Waldinger R.: A Deductive Approach to Program Synthesis. ACM TOPLAS 2 /1, 92–121; 1980.

    Article  Google Scholar 

  • Manna Z., Waldinger R.: Deductive Synthesis of the Unification Algorithm. In: ( Biermann, Guiho 1983 ), 251–308.

    Google Scholar 

  • Nelson C. G., Oppen D. C.: Fast Decision Procedures Based on Congruence Closure. J. ACM 27 (2), 356–364; 1980.

    Article  MATH  MathSciNet  Google Scholar 

  • Polak W.: Program Verification at Stanford: Past, Present, Future. Report, Stanford University, Computer Systems Laboratory; 1981.

    Google Scholar 

  • Zima H.: Compilerbau II (Synthese und Optimierung). Reihe Informatik 37, Bibliographisches Institut, Mannheim, Wien, Zürich; 1983.

    Google Scholar 

Download references

Authors
  1. Bruno Buchberger
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1986 B. G. Teubner Stuttgart

About this chapter

Cite this chapter

Buchberger, B. (1986). Automatisches Programmieren. In: Artificial Intelligence — Eine Einführung. Leitfäden der angewandten Informatik, vol 2. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-93997-5_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-93997-5_9

  • Publisher Name: Vieweg+Teubner Verlag, Wiesbaden

  • Print ISBN: 978-3-519-12473-3

  • Online ISBN: 978-3-322-93997-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation