Travelled to:
1 × Canada
1 × Estonia
1 × Germany
1 × Italy
1 × USA
Collaborated with:
S.S.Huang Y.Smaragdakis E.Pasalic B.Sarna-Starosta
Talks about:
safe (5) program (4) generat (4) static (2) aspect (2) gen (2) datalog (1) shape (1) other (1) morph (1)
Person: David Zook
DBLP: Zook:David
Contributed to:
Wrote 6 papers:
- PADL-2009-ZookPS #datalog
- Typed Datalog (DZ, EP, BSS), pp. 168–182.
- ECOOP-2007-HuangZS #image #named
- Morphing: Safely Shaping a Class in the Image of Others (SSH, DZ, YS), pp. 399–424.
- GPCE-2005-HuangZS #generative #static typing
- Statically Safe Program Generation with SafeGen (SSH, DZ, YS), pp. 309–326.
- GPCE-J-2005-HuangZS11 #generative #static typing
- Statically safe program generation with SafeGen (SSH, DZ, YS), pp. 376–391.
- GPCE-2004-ZookHS #aspectj #generative #source code
- Generating AspectJ Programs with Meta-AspectJ (DZ, SSH, YS), pp. 1–18.
- PEPM-2004-SmaragdakisHZ #generative #tool support
- Program generators and the tools to make them (YS, SSH, DZ), pp. 92–100.