dblp.uni-trier.dewww.uni-trier.de

M. R. Sadler

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1986
7 M. R. Sadler: A Defense of Proof Theory as the Right Foundations. ADT 1986
1985
6 Samit Khosla, T. S. E. Maibaum, M. R. Sadler: Database Specification. DS-1 1985: 141-158
5 Samit Khosla, T. S. E. Maibaum, M. R. Sadler: Large Database Specification from Small Views. FSTTCS 1985: 246-271
4 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: 214-230
1984
3 T. S. E. Maibaum, M. R. Sadler: Axiomatizing Specification Theory. ADT 1984: 171-177
2 T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso: Logical Specification and Implementation. FSTTCS 1984: 13-30
1983
1EEForouzan Golshani, T. S. E. Maibaum, M. R. Sadler: A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB 1983: 331-339

Coauthor Index

1Forouzan Golshani [1]
2Samit Khosla [5] [6]
3T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [1] [2] [3] [4] [5] [6]
4Paulo A. S. Veloso [2] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)