BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sadler:M=_R=

Contributed to:

VLDB 19831983
TAPSOFT, Vol.2: CSE 19851985

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.