G. W. Hamilton

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

4 G. W. Hamilton: Extracting the Essence of Distillation. Ershov Memorial Conference 2009: 151-164

2007

3 G. W. Hamilton: Distillation: extracting the essence of programs. PEPM 2007: 61-70

2 G. W. Hamilton: Distilling Programs for Verification. Electr. Notes Theor. Comput. Sci. 190(4): 17-32 (2007)

2006

1 G. W. Hamilton: Poitín: Distilling Theorems From Conjectures. Electr. Notes Theor. Comput. Sci. 151(1): 143-160 (2006)

	2009
4		G. W. Hamilton: Extracting the Essence of Distillation. Ershov Memorial Conference 2009: 151-164
	2007
3		G. W. Hamilton: Distillation: extracting the essence of programs. PEPM 2007: 61-70
2		G. W. Hamilton: Distilling Programs for Verification. Electr. Notes Theor. Comput. Sci. 190(4): 17-32 (2007)
	2006
1		G. W. Hamilton: Poitín: Distilling Theorems From Conjectures. Electr. Notes Theor. Comput. Sci. 151(1): 143-160 (2006)

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page