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 × Australia
1 × Austria
1 × Spain
Collaborated with:
F.Feiks P.A.Lindsay R.Colvin I.J.Hayes P.A.Strooper L.Groves R.Nickson
Talks about:
program (2) specif (2) refin (2) match (2) logic (2) templat (1) stepwis (1) pattern (1) develop (1) verifi (1)

Person: David Hemer

DBLP DBLP: Hemer:David

Contributed to:

PDCL 20042004
SEFM 20032003
LOPSTR 20022002
FME 19971997

Wrote 4 papers:

PDCL-2004-ColvinGHHNS #logic programming #refinement #source code #specification #using
Developing Logic Programs from Specifications Using Stepwise Refinement (RC, LG, IJH, DH, RN, PAS), pp. 66–89.
SEFM-2003-FeiksH #component #object-oriented #specification
Specification Matching of Object-Oriented Components (FF, DH), pp. 182–190.
LOPSTR-2002-ColvinHHS #higher-order #logic programming #refinement #source code
Refinement of Higher-Order Logic Programs (RC, IJH, DH, PAS), pp. 126–143.
FME-1997-HemerL #design #pattern matching #reuse #using
Reuse of Verified Design Templates Through Extended Pattern Matching (DH, PAL), pp. 495–514.
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.