A characterization of Floyd-provable programs

  • H. Andréka
  • I. Németi
  • I. Sain
Part of the Lecture Notes in Computer Science book series (LNCS, volume 118)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andréka,H. Németi,I., On the completeness problem of systems for program verification. (In Hungarian) Math.Inst.Hung.Acad.Sci. — SZKI Budapest, 1977.Google Scholar
  2. 2.
    Andréka, H. Németi, I., Completeness of Floyd Logic. Bull.Section of Logic (Wroclaw) Vol.7, No.3, 1978, pp.115–120.Google Scholar
  3. 3.
    Andréka, H. Németi, I. Sain, I., Henkin-type semantics for program schemes to turn negative results to positive. Fundamentals of Computation Theory FCT'79 Berlin. Ed.: L. Budach. Akademie Verlag 1979, pp. 18–24.Google Scholar
  4. 4.
    Andréka,H. Németi,I. Sain,I., Completeness problems in verification of programs and program schemes. Mathematical Foundations of Computer Science MFCS'79 Olomouc. Lecture Notes in Computer Science 74, Springer Verlag 1979, pp.208–218.Google Scholar
  5. 5.
    Bell,J.L. Slomson,A.B., Models and Ultraproducts. North Holland, 1969.Google Scholar
  6. 6.
    Chang,C.C. Keisler,H.J., Model Theory. North Holland, 1973.Google Scholar
  7. 7.
    Csirmaz, L., On definability in Peano Arithmetic. Bull.Section of Logic (Wroclaw) Vol.8, No.3, 1979, pp.148–153.Google Scholar
  8. 8.
    Csirmaz,L., A survey of semantics of Floyd-Hoare derivability. Comput. Linguist. Comput. Lang. CL&CL (Budapest) Vol.14, 1981.Google Scholar
  9. 9.
    Németi,I., A complete first order dynamic logic. Preprint, Math.Inst.Hung.Acad.Sci. 1980, pp.1–120.Google Scholar
  10. 10.
    Pratt, V.R., Application of modal logic to programming. Studia Logica Vol.39, No.2/3, 1980, pp.257–274.Google Scholar
  11. 11.
    Sain, I., There are general rules for specifying semantics: Observations on abstract model theory. Comput. Linguist. Comput. Lang. CL&CL (Budapest) Vol.13, 1979, pp.251–282.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • H. Andréka
    • 1
  • I. Németi
    • 1
  • I. Sain
    • 1
  1. 1.Mathematical Institute of the Hungarian Academy of SciencesBudapestHungary

Personalised recommendations