Undefined Expressions and Logic in Z and B

Formal Methods in System Design

Volumn 15, Issue 3, 1999, Pages 201-215

  Stoddart, Bill ^a   Dunne, Steve ^a   Galloway, Andy ^b  

^a TEESSIDE UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

B; Denotational semantics; Theory of descriptions; Undefined expressions; Z

Indexed keywords

EID: 0042764412     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008797018928     Document Type: Article

References (20)

1. J. Abrial, The B Book, Cambridge University Press, 1996.
2. J. Abrial, D. Neilson, and I. Sorenson, "B Toolkit," Technical Overview, BCORE, 1993.
3. H. Barringer, J.H. Chang, and C.B. Jones, "A logic covering undefinedness in program proofs," Acta Informatica, Vol. 21, 1984.
4. S. Brien, "The development of Z," in D.J. Andrews, D.F. Groote, and C.A. Middleburg (Eds.), Proc. International Workshop on Semantics of Specification Languages, Springer Verlag, 1994.
5. M.J.C. Gordon and T.F. Melham, Introduction to HOL, Cambridge University Press, 1993.
6. H. Habrias (Ed.), Z Twenty Years On, What is its Future? Proceedings of the 7th International Conference on Putting into Practice Methods and Tools for Information System Design, IRIN University de Nantes, France, 1995, ISBN 2-906082-19-8.
7. C.B. Jones, Systematic Software Development Using VDM, Prentice Hall International, 1986.
8. C. Jones, "Partial functions and logics: A warning," Information PWJS96-Processing Letters, Vol. 54, 1995.
9. B. Meyer, Introduction to the Theory of Programming Languages, Prentice Hall International, 1990.
10. J. Nicholls (Ed.), Z User Workshop 1991, Springer Verlag, 1992.
11. J. Nicholls (Ed.), Z Base Standard, Version 1.2., Oxford University Computing Laboratory PRG, 11 Keble Rd, Oxford OX1 3QD, 1995.
12. J. Nicholls (Ed.), Z Base Standard, Version 1.2., Oxford University Computing Laboratory PRG, 11 Keble Rd, Oxford OX1 3QD, 1995.
13. S. Owre, N. Shankar, and J.M. Rushby, "The PVS specification language," Technical report, SRI International, Menlo Park, California, 1993.
14. C.H. Pratten, "An introduction to proving AMN specifications with PVS," in [6], 1995.
15. B. Russell, "On denoting," MIND, pp. 479-493, 1905.
16. M. Saaltink, "Z and EVES," in [10], pp. 223-242, 1991.
17. J.M. Spivey, Understanding Z, Cambridge University Press, Cambridge, 1988.
18. J.M. Spivey, The Z Notation, a Reference Manual, 2nd edition, Prentice Hall International, 1992.
19. J. Stoy, Denotational Semantics, MIT Press, 1977.
20. A.N. Whitehead and B. Russell, Principia Mathematica, 2nd edition, Cambridge University Press, 1927.