M. R. Sadler

Publication Activity (10 Years)

Years Active: 1983-1986
Publications (10 Years): 0

Publications

M. R. Sadler
A Defense of Proof Theory as the Right Foundations. ADT (1986)
T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler
A Theory of Abstract Data Types for Program Development: Bridging the Gap? TAPSOFT, Vol.2 (1985)
Samit Khosla, T. S. E. Maibaum, M. R. Sadler
Large Database Specification from Small Views. FSTTCS (1985)
Samit Khosla, T. S. E. Maibaum, M. R. Sadler
Database Specification. DS-1 (1985)
T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso
Logical Specification and Implementation. FSTTCS (1984)
T. S. E. Maibaum, M. R. Sadler
Axiomatizing Specification Theory. ADT (1984)
Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler
A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB (1983)