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 × Estonia
1 × USA
Collaborated with:
K.Slind M.W.Whalen T.Pham M.Wilding D.A.Greve
Talks about:
transform (1) theorem (1) languag (1) guardol (1) concept (1) vehicl (1) system (1) prover (1) domain (1) design (1)

Person: David S. Hardin

DBLP DBLP: Hardin:David_S=

Contributed to:

HILT 20122012
TACAS 20122012
CAV 19981998

Wrote 3 papers:

HILT-2012-HardinSWP #domain-specific language #security
A DSL for cross-domain security (DSH, KS, MWW, THP), pp. 53–62.
TACAS-2012-HardinSWP #verification
The Guardol Language and Verification System (DSH, KS, MWW, THP), pp. 18–32.
CAV-1998-HardinWG #concept #design #proving #theorem proving
Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle (DSH, MW, DAG), pp. 39–44.

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.