Advertisement

Axiomatisierung von Programmiersprachen und ihre Grenzen

  • Günter Hotz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 23)

Zusammenfassung

Es gibt für realistische Programmiersprachen kein end-liches Axiomensystem, das es gestattet die einschlägigen Theoreme einer Theorie der Programmiersprache abzuleiten. Die Transportabilität von Programmen kann durch Korrektheitsbeweise im Rahmen einer axiomatischen Theorie nicht vollständig gesichert werden.

Keywords

Starken 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Literatur

  1. [1]
    Floyd, R.W. (1967) "Assigning Meanings to Programs” in Proz.Sym. in Applied Math. 19, Mathematical Aspects of Computer Science (Schartz, J.T. ed), Amer.Math.Soc. pp. 19–32Google Scholar
  2. [2]
    Hoare, C.A.R. (1969) "An Axiomatic Basis for Computer Programming". Comm. ACM 12, pp. 576–583Google Scholar
  3. [3]
    Hoare, C.A.R. and Wirth, N. (1973) "An axiomatic Definition of the Programming Language". Pascal Acta Information Vol 2, pp. 335–357Google Scholar
  4. [4]
    Hotz, G. (1972) "Grundlagen einer Theorie der Programmiersprachen II". Berichte des Fachbereiches für Angew. Math. + Informatik, pp. 1–51Google Scholar
  5. [5]
    Manna, Z. and Paueli, A. (1974) " Axiomatic Approach to total Correctures of Programs", Acta Informatica Vol.3, pp. 243–265Google Scholar
  6. [6]
    Lucas, P. and Walk, K. (1969) "On the Formal Description of PL/I", Annual Review in Automatic Programming, Vol. 6, Part 3, Pergamon PressGoogle Scholar
  7. [7]
    Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics, Vol. 188, Springer-Verlag 1971 (ed E. Engler).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Günter Hotz
    • 1
  1. 1.Universität des Saarlandes Fachbereich Angewandte Mathematik und Informatik66 Saarbrücken

Personalised recommendations