Advertisement

Automatisches Programmieren

  • Bruno Buchberger
Chapter
Part of the Leitfäden der angewandten Informatik book series (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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Barr A., Feigenbaum E. A.: The Handbook of Artificial Intelligence. Vol. II, Heuristech Press, Stanford; 1982.Google Scholar
  2. 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
  3. Bibel W.: Syntax-Directed, Semantics-Supported Program Synthesis. Artificial Intelligence 14, 243–261; 1980.CrossRefGoogle Scholar
  4. Biermann A. W.: Automated Programming: A Tutorial in Formal Methodologies. Journal of Symbolic Computation, 1 /2, 119–142; 1985.CrossRefzbMATHGoogle Scholar
  5. 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
  6. Boyer R. S., Moore J. S.: A Computational Logic. Academic Press, New York - London; 1979.Google Scholar
  7. 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
  8. 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
  9. 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
  10. Buchberger B., Collins G. E., Loos R.: Computer-Algebra (Symbolic and Algebraic Computation). Springer-Verlag, Wien - New York; 1982 (2. Auflage 1983 ).Google Scholar
  11. 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
  12. Burstall R. M., Darlington J.: A Transformation System for Developing Recursive Programs. J. ACM 24 (1), 1977.Google Scholar
  13. Clark K. L., McCabe F. G.: Micro-Prolog: Programming in Logic. Prentice-Hall, Engelwood Cliffs, N.J.; 1984.Google Scholar
  14. Clark K. L., Tarnlund S.-A. (Hsg.): Logic Programming. Academic Press, London; 1982.zbMATHGoogle Scholar
  15. Clocksin W. F., Mellish C. S.: Programming in Prolog. Springer, Berlin - Heidelberg - New York; 1981.zbMATHGoogle Scholar
  16. Darlington J.: The Synthesis of Implementations for Abstract Data Types, A Program Transformation Tactic. In ( Biermann, Guiho 1983 ), 309–334.Google Scholar
  17. Darlington J., Burstall R. M.: A System which Automatically Improves Programs. Acta Informatica 6, 41–60; 1976.CrossRefzbMATHGoogle Scholar
  18. 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
  19. 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
  20. Gordon M. J., Milner A. J., Wadsworth C. P.: Edinburgh LCF. Lecture Notes in Computer Science 78, Springer, Berlin; 1979.Google Scholar
  21. Greibach S. A.: Theory of Program Structures: Schemes, Semantics, Verification. Lecture Notes in Computer Science 36, Springer, Berlin - Heidelberg - New York; 1975.Google Scholar
  22. Hesse W.: Methoden und Werkzeuge für Software-Entwicklung: Ein Marsch durch die Technologie-Landschaft. Informatik-Spektrum 4 (4), 229–245; 1981.Google Scholar
  23. Jouannaud J.-P., Kodratoff Y.: Program Synthesis from Examples of Behavior. In: ( Biermann, Guiho 1983 ), 213–250.Google Scholar
  24. JSC 1985: Journal of Symbolic Computation (Herausgeber: R. Buch-berger et al.), Vol.1 ff. Academic Press London; 1985ff.Google Scholar
  25. 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
  26. Kowalski R.: Logic for Problem Solving. North-Holland, New York - Oxford; 1979.zbMATHGoogle Scholar
  27. Kutzler B., Lichtenberger F.: Bibliography on Abstract Data Types. Informatik Fachberichte 68, Springer, Berlin - Heidelberg - New York - Tokyo; 1983.Google Scholar
  28. Lescanne P.: Computer Experiments With the REVE Term Rewriting System Generator. Proc. of the Principles of Programming Languages Conference; 1983.Google Scholar
  29. 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
  30. Manna Z., Waldinger R.: A Deductive Approach to Program Synthesis. ACM TOPLAS 2 /1, 92–121; 1980.CrossRefGoogle Scholar
  31. Manna Z., Waldinger R.: Deductive Synthesis of the Unification Algorithm. In: ( Biermann, Guiho 1983 ), 251–308.Google Scholar
  32. Nelson C. G., Oppen D. C.: Fast Decision Procedures Based on Congruence Closure. J. ACM 27 (2), 356–364; 1980.CrossRefzbMATHMathSciNetGoogle Scholar
  33. Polak W.: Program Verification at Stanford: Past, Present, Future. Report, Stanford University, Computer Systems Laboratory; 1981.Google Scholar
  34. Zima H.: Compilerbau II (Synthese und Optimierung). Reihe Informatik 37, Bibliographisches Institut, Mannheim, Wien, Zürich; 1983.Google Scholar

Copyright information

© B. G. Teubner Stuttgart 1986

Authors and Affiliations

  • Bruno Buchberger

There are no affiliations available

Personalised recommendations