Richer types for Z

Formal Aspects of Computing

Volumn 8, Issue 5, 1996, Pages 565-584

  Spivey, Michael ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Specification language Z; Type system

Indexed keywords

EID: 0042337103     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01211909     Document Type: Article

References (11)

1. Boyer, R. and Moore, J. S.: A computational logic. Academic Press, 1979.
2. Cardelli, L.: 'A Semantics of Multiple Inheritance', in Semantics of Data Types, (G. Kahn, D. B. MacQueen and G. Plotkin, eds.), LNCS 173, Springer-Verlag, 1985
3. Dershowitz, N.: 'Orderings for term-rewriting systems', Theoretical Computer Science, March 1982.
4. Goguen, J. A. and Meseguer, J.: 'Order-sorted algebra (I): Equational deduction for multiple inheritance, overloading, exceptions and partial operations', Theoretical Computer Science, 105, 2 (1992), pp. 217-73.
5. Mitchell, J. C.: 'Polymorphic type inference and containment', in Logical foundations of functional programming (G. Huet, ed.), Addison-Wesley, 1990.
6. Nicholls, J. E. (ed.): Draft Z standard, Oxford University Computing Laboratory, 1995.
7. Milner, A. J. R. G.: 'A theory of type polymorphism in programming languages', Journal of Computer and System Science, 17 (1978), pp. 348-57.
8. Spivey, J. M.: Understanding Z: a specification language and its formal semantics, Cambridge University Press, March 1988.
9. Spivey, J. M.: The Z notation: a reference manual, Prentice-Hall International, November 1989. Second edition, March 1992.
10. Spivey, J. M.: The fuzz manual. The Spivey Partnership, 1992.
11. Spivey, J. M. and Sufrin, B. A.: 'Type inference in Z', in VDM and Z - Formal methods in software development, (D. Bjerner, C. A. R. Hoare and H. Langmaack, eds.), LNCS 428, Springer-Verlag, April 1990.