G. W. Hamilton

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

	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)