M. R. Sadler

According to our database, M. R. Sadler authored at least 8 papers between 1983 and 1987.

Collaborative distances:

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

1987

Formal Methods: A Commentary.

Tom Maibaum, Martin R. Sadler

J. Inf. Technol., 1987

1986

A Defense of Proof Theory as the Right Foundations.

M. R. Sadler

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

A Theory of Abstract Data Types for Program Development: Bridging the Gap?

T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler

Proceedings of the Mathematical Foundations of Software Development, 1985

Large Database Specification from Small Views.

Samit Khosla, T. S. E. Maibaum, M. R. Sadler

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

Database Specification.

Samit Khosla, T. S. E. Maibaum, M. R. Sadler

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1). Hasselt, 1985

1984

Logical Specification and Implementation.

T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

Axiomatizing Specification Theory.

T. S. E. Maibaum, M. R. Sadler

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

A Modal System of Algebras for Database Specification and Query/Update Language Support.

Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler

Proceedings of the 9th International Conference on Very Large Data Bases, October 31, 1983