G.W. Hamilton
G.W. Hamilton
Senior Lecturer, School of Computing and Lero, Dublin City University
Verified email at computing.dcu.ie
TitleCited byYear
Hypertext: The next maintenance mountain
P Brereton, D Budgen, G Hamilton
Computer 31 (12), 49-55, 1998
751998
Distillation: extracting the essence of programs
GW Hamilton
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
572007
Higher order deforestation
G Hamilton
Programming Languages: Implementations, Logics, and Programs, 213-227, 1996
361996
Distillation with labelled transition systems
GW Hamilton, ND Jones
Association for Computing Machinery, 2012
292012
Detecting man-in-the-middle attacks by precise timing
B Aziz, G Hamilton
2009 Third International Conference on Emerging Security Information …, 2009
282009
Compile-time optimisation of store usage in lazy functional programs (PhD Thesis)
GW Hamilton
University of Stirling, 1993
241993
Extending deforestation for first order functional programs
GW Hamilton, SB Jones
Functional Programming, Glasgow 1991, 134-145, 1992
221992
Compile-time garbage collection by necessity analysis
GW Hamilton, SB Jones
Functional Programming, Glasgow 1990, 66-70, 1991
211991
A privacy analysis for the π-calculus: The denotational approach
B Aziz, G Hamilton
Proceedings of the 2nd Workshop on the Specification, Analysis and …, 2002
192002
A graph-based definition of distillation
GW Hamilton, GE Mendel-Gleason
Meta2010, 2010
172010
Higher order deforestation
GW Hamilton
Fundamenta Informaticae 69 (1-2), 39-61, 2006
172006
Compile-time garbage collection for lazy functional languages
GW Hamilton
International Workshop on Memory Management, 119-144, 1995
141995
Distilling programs for verification
GW Hamilton
Electronic Notes in Theoretical Computer Science 190 (4), 17-32, 2007
132007
Poitín: Distilling Theorems From Conjectures
GW Hamilton
Electronic Notes in Theoretical Computer Science 151 (1), 143-160, 2006
132006
Extracting the essence of distillation
GW Hamilton
International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
122009
A static analysis of cryptographic processes: The denotational approach
B Aziz, G Hamilton, D Gray
The Journal of Logic and Algebraic Programming 64 (2), 285-320, 2005
122005
A Taxonomy for Triggered Interactions Using Fair Object Semantics.
JP Gibson, GW Hamilton, D Méry
FIW, 193-209, 2000
102000
Transforming Programs to Eliminate Intermediate Structures.
GW Hamilton, SB Jones
JTASPEFT/WSA, 182-188, 1991
91991
Constructing programs from metasystem transition proofs
GW Hamilton, MH Kabir
82008
Integration problems in telephone feature requirements
P Gibson, G Hamilton, D Méry
IFM’99, 129-145, 1999
81999
The system can't perform the operation now. Try again later.
Articles 1–20