Travelled to:1 × Italy
Collaborated with:F.Golshani T.S.E.Maibaum T.S.E.Maibaum P.A.S.Veloso
Talks about:abstract (1) support (1) program (1) languag (1) develop (1) databas (1) algebra (1) theori (1) system (1) specif (1)
Person: M. R. Sadler
DBLP: Sadler:M=_R=
Contributed to:
1983
1985Wrote 2 papers:
- VLDB-1983-GolshaniMS #algebra #database #query #specification
- A Modal System of Algebras for Database Specification and Query/Update Language Support (FG, TSEM, MRS), pp. 331–339.
- CSE-1985-MaibaumVS #data type #development #formal method #question
- A Theory of Abstract Data Types for Program Development: Bridging the Gap? (TSEM, PASV, MRS), pp. 214–230.