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 × Austria
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:
S.Hammond O.d.Moor J.Richardson A.Smaill N.D.Jones E.V.Wyk C.C.Frederiksen F.Bacchini A.J.Hu T.Fitzpatrick R.Ranjan M.Tan A.Piziali A.Ziv
Talks about:
transform (2) program (2) enough (2) optim (2) logic (2) synthesi (1) coverag (1) correct (1) bytecod (1) tempor (1)

♂ Person: David Lacey

DBLP DBLP: Lacey:David

Facilitated 1 volumes:

LDTA 2006PrCo

Contributed to:

DAC 20072007
CC 20062006
POPL 20022002
CC 20012001
CL 20002000

Wrote 5 papers:

DAC-2007-BacchiniHFRLTPZ #question #verification
Verification Coverage: When is Enough, Enough? (FB, AJH, TF, RR, DL, MT, AP, AZ), pp. 744–745.
CC-2006-HammondL #bytecode #java #optimisation
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode (SH, DL), pp. 109–123.
POPL-2002-LaceyJWF #compilation #correctness #logic #optimisation #proving
Proving correctness of compiler optimizations by temporal logic (DL, NDJ, EVW, CCF), pp. 283–294.
CC-2001-LaceyM #imperative #program transformation
Imperative Program Transformation by Rewriting (DL, OdM), pp. 52–68.
CL-2000-LaceyRS #higher-order #logic programming #synthesis
Logic Program Synthesis in a Higher-Order Setting (DL, JR, AS), pp. 87–100.

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.