Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dawes, J. The VDM-SL Reference Guide. Pitman, London, 1991
Jones, C.B.. Systematic Software Development Using VDM. Prentice-Hall, Inc., Englewood Cliffs, NJ, 1986.
Martin Lof, P. An intuitionistic theory of sets, predicative part. In Logic Colloquim, 73. North-Holland, Amsterdam, 1975.
Potter, M. D. Sets: An Introduction. Clarendon Press, Oxford, 1990
Spivey, J.M. Understanding Z. Cambridge University Press, Cambridge, 1988.
Thompson, S. Type Theory and Functional Programming. Addison-Wesley. Reading, MA, 1991.
Woodcock, J. and Davies, J. Using Z: Specification, Refinement and Proof, Prentice Hall, Englewood Cliffs, NJ, 1996.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag London
About this chapter
Cite this chapter
Turner, R. (2009). Separation Types. In: Computable Models. Springer, London. https://doi.org/10.1007/978-1-84882-052-4_13
Download citation
DOI: https://doi.org/10.1007/978-1-84882-052-4_13
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-84882-051-7
Online ISBN: 978-1-84882-052-4
eBook Packages: Computer ScienceComputer Science (R0)