BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Stemple:David_W=

Contributed to:

CADE 19921992
PODS 19911991
SIGMOD 19881988
SIGMOD 19871987
ICSE 19851985
VLDB 19851985
PODS 19841984
VLDB 19751975
VLDB 19751976

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

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.