Samuel H. Valentine

According to our database, Samuel H. Valentine authored at least 11 papers between 1974 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Type-Constrained Generics for Z.

Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Typechecking Z.

Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

On Mutually Recursive Free Types in Z.

Ian Toyn, Samuel H. Valentine, David A. Duffy

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1998

Inconsistency and Undefinedness in Z - A Practical Guide.

Samuel H. Valentine

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.

John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1995

The programming language Z-.

Samuel H. Valentine

Inf. Softw. Technol., 1995

Equal Rights for Schemas in Z.

Samuel H. Valentine

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1992

Putting Numbers into the Mathematical Toolkit.

Samuel H. Valentine

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1991

Z--, an Executable Subset of Z.

Samuel H. Valentine

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

1990

A Video-based Training Course in Reading Z Specifications.

Allan Norcliffe, Samuel H. Valentine

Proceedings of the Z User Workshop, 1990

1974

Comparative Notes on ALGOL 68 and PL/I.

Samuel H. Valentine

Comput. J., 1974