Collaborated with:∅ P.A.S.Veloso M.R.Sadler
Talks about:theori (2) interpret (1) abstract (1) program (1) develop (1) conserv (1) between (1) extens (1) bridg (1) type (1)
Person: T. S. E. Maibaum
DBLP: Maibaum:T=_S=_E=
Facilitated 3 volumes:
EdEdEdContributed to:
19851997Wrote 2 papers:
- 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.
- TAPSOFT-1997-Maibaum #exclamation
- Conservative Extensions, Interpretations Between Theories and All That! (TSEM), pp. 40–66.