Travelled to:1 × Canada
1 × Sweden
1 × United Kingdom
3 × USA
Collaborated with:T.Sheard ∅ S.Mazumdar W.B.Croft L.Fegaras N.Immerman S.Patnaik
Talks about:base (5) databas (4) manag (4) data (4) support (2) generat (2) automat (2) system (2) specif (2) facil (2)
Person: David W. Stemple
DBLP: Stemple:David_W=
Contributed to:
1992
1991
19881987
1985
1985198419751976Wrote 10 papers:
- CADE-1992-FegarasSS #combinator #traversal
- Uniform Traversal Combinators: Definition, Use and Properties (LF, TS, DWS), pp. 148–162.
- PODS-1991-ImmermanPS #finite #product line #set
- The Expressiveness of a Family of Finite Set Languages (NI, SP, DWS), pp. 37–52.
- SIGMOD-1988-MazumdarSS #proving #security #theorem proving #using
- Resolving the Tension between Integrity and Security Using a Theorem Prover (SM, DWS, TS), pp. 233–242.
- SIGMOD-1987-CroftS #architecture #documentation
- Supporting Offics Document Architectures with Constrained Types (WBC, DWS), pp. 504–509.
- SIGMOD-1987-StempleMS #design #feedback #on the #transaction
- On the Modes and Meaning of Feedback to Transaction Designers (DWS, SM, TS), pp. 374–386.
- ICSE-1985-StempleS #database #development
- Database Theory for Supporting Specification-Based Database Systems Development (DWS, TS), pp. 43–49.
- VLDB-1985-SheardS #automation #complexity #database #reasoning
- Coping with Complexity in Automated Reasoning about Database Systems (TS, DWS), pp. 426–435.
- PODS-1984-StempleS #database #specification #verification
- Specification and Verification of Abstract Database Types (DWS, TS), pp. 248–257.
- VLDB-1975-Stemple #automation #database #generative
- A Data Base Management Facility for Automatic Generation of Data Base Managers (DWS), p. 254.
- VLDB-J-1975-Stemple76 #automation #database #generative
- A Data Base Management Facility for Automatic Generation of Data Base Managers (DWS), pp. 79–94.