Travelled to:1 × France
Collaborated with:∅
Talks about:program (2) distil (2) extract (1) essenc (1) verif (1)
Person: G. W. Hamilton
DBLP: Hamilton:G=_W=
Contributed to:
2007
2007Wrote 2 papers:
- COCV-2007-Hamilton #source code #verification
- Distilling Programs for Verification (GWH), pp. 17–32.
- PEPM-2007-Hamilton #named #source code
- Distillation: extracting the essence of programs (GWH), pp. 61–70.