Samuel H. Valentine

Publication Activity (10 Years)

Years Active: 1974-2000
Publications (10 Years): 0

Publications

Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
Typechecking Z. ZB (2000)
Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
Type-Constrained Generics for Z. ZB (2000)
Ian Toyn, Samuel H. Valentine, David A. Duffy
On Mutually Recursive Free Types in Z. ZB (2000)
Samuel H. Valentine
Inconsistency and Undefinedness in Z - A Practical Guide. ZUM (1998)
John McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM (1998)
Samuel H. Valentine
Equal Rights for Schemas in Z. ZUM (1995)
Samuel H. Valentine
The programming language Z-. Inf. Softw. Technol. 37 (5-6) (1995)
Samuel H. Valentine
Putting Numbers into the Mathematical Toolkit. Z User Workshop (1992)
Samuel H. Valentine
Z--, an Executable Subset of Z. Z User Workshop (1991)
Allan Norcliffe, Samuel H. Valentine
A Video-based Training Course in Reading Z Specifications. Z User Workshop (1990)
Samuel H. Valentine
Comparative Notes on ALGOL 68 and PL/I. Comput. J. 17 (4) (1974)