Type-constrained generics for Z

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1878, Issue , 2000, Pages 250-263

  Valentine, Samuel H ^a   Toyn, Ian ^a   Stepney, Susan ^b   King, Steve ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

^b Logica United Kingdom   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

GENERIC PARAMETERS; SCHEMA CALCULUS;

CALCULATIONS;

EID: 33747881773     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44525-0_15     Document Type: Conference Paper

References (11)

1. J. G. Hall and A. P. Martin. W reconstructed. In J. P. Bowen, M. G. Hinchey, and D. Till, editors, ZUM '97: The Z Formal Specification Notation, LNCS 1212, Reading, April 1997. Springer.
2. I. J. Hayes, editor. Specification Case Studies. Prentice Hall, second edition, 1993.
3. P. Luigi Iachini. Operation schema iterations. In J. E. Nicholls, editor, Z User Workshop, Oxford, December 1990. Springer.
4. Andrew Martin. A revised deductive system for Z. Technical Report 98 - 21, Software Verification Research Centre, University of Queensland, 1998.
5. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, second edition, 1992.
6. Susan Stepney and David Cooper. Formal methods for industrial applications. (These proceedings), 2000.
7. I. Toyn, editor. Z Notation. ISO, 1999. Final Committee Draft, available at http://www.cs.york.ac.uk/~ian/zstan/.
8. Ian Toyn, S. H. Valentine, Susan Stepney, and Steve King. Typechecking Z. (These proceedings), 2000.
9. S. H. Valentine. Z--, an executable subset of Z. In J. E. Nicholls, editor, Z User Workshop, pages 157-187, York, December 1991. Springer.
10. S. H. Valentine. Equal rights for schemas in Z. In J. P. Bowen and M. G. Hinchey, editors, ZUM'95, LNCS 967, pages 183-202, Limerick, September 1995. Springer.
11. J. C. P. Woodcock and S. M. Brien: A logic for Z. In J. E. Nicholls, editor, Z User Workshop, York, December 1991. Springer.