Advertisement

Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus

  • Beata Konikowska
Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 520)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7 References

  1. Barringer H., Cheng J.H., Jones C.B., [84] A logic covering undefinedness in program proofs, Acta Informatica 21 (1984), 251–269.Google Scholar
  2. Beth E.W., [59] The foundations of mathematics, North Holland 1959Google Scholar
  3. Blikle A., [81 a] On the devlopment of correctly specified programs, IEEE Trans. on Soft. Eng. SE-7 (1981), 519–527Google Scholar
  4. [81 b] The clean termination of iterative programs, Acta Informatica 16 (1981), 199–217Google Scholar
  5. [87] MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics, LNCS 288, Springer-Verlag 1985Google Scholar
  6. [88] Three-valued predicates for software specification and validation, Proceedings of the VDM 88 Symposium, LNCS 328, 243–266, Springer-Verlag 1988Google Scholar
  7. Hogevijs A., [79] On a formalization of the non-definedness notion, Zeitscrift f. Math. Logik u. Grundlagen d. Math., Vol. 25 (1979), 213–221.Google Scholar
  8. [83] A partial predicate calculus in two-valued logic, ibid., Vol. 29 (1983), 239–243Google Scholar
  9. [87] Partial predicate logic in computer science, Acta Informatica 24, (1987), 381–393Google Scholar
  10. Jones C.B., [86] Systematic software development using VDM, Prentice-Hall International Series in Computer Science, 1986Google Scholar
  11. , [87] VDM proof obligations and their justifications, Proc. VDM Symposium 1987, 260–286, LNCS 252, Springer-Verlag, 1987.Google Scholar
  12. Kleene S.C., [52] Introduction to Metamathematics, North Holland 1952Google Scholar
  13. Konikowska B., Tarlecki A., Blikle A., [88] A three-valued logic for software specification and validation, Proceedings of the VDM 88 Symposium, LNCS 328, 218–242, Springer-Verlag 1988; a revised and extended version is to appear in Fundamenta InformaticaGoogle Scholar
  14. McCarthy J., [61] A basis for a mathematical theory of computation, Western Joint Conference, 1961, later published in Computer Programming and Formal Systems, North Holland 1967, 33–70Google Scholar
  15. Owe O., [85] An approach to program reasoning based on first order logic for partial functions, Res. Rep. Institute of Informatics, University of Oslo, no. 89, 1985.Google Scholar
  16. Rasiowa H., Sikorski R., [63] The mathematics of metamathematics, Polish Scientific Publishers, Warsaw 1963.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Beata Konikowska
    • 1
  1. 1.Institute of Computer SciencePolish Academy of SciencesWarsawPoland

Personalised recommendations