• G.W. Hamilton and M.H. Kabir
  "Constructing Programs From Metasystem Transition Proofs"
  Proceedings of the First International Workshop on Metacomputation in Russia
  Pereslavl-Zalessky, Russia, July 2008
  


• M.H. Kabir and G.W. Hamilton
  "Extending Poitín to Handle Explicit Quantification"
  Proceedings of the Sixth International Workshop on First-Order Theorem Proving
  Liverpool, UK, September 2007
  


• B. Aziz and G.W. Hamilton
  "Modelling and Analysis of PKI-Based Systems Using Process Calculi"
  International Journal of Foundations of Computer Science, 18(3):593-618
  June 2007
  World Scientific
  


• G.W. Hamilton
  "Distilling Programs for Verification"
  Proceedings of the International Conference on Compiler Optimization Meets Compiler Verification
  Braga, Portugal, March 2007
  Electronic Notes in Theoretical Computer Science 190(4):17-32
  


• G.W. Hamilton
  "Distillation: Extracting the Essence of Programs"
  Proceedings of the ACM Workshop on Partial Evaluation and Program Manipulation
  Nice, France, January 2007
  ACM Press
  


• G.W. Hamilton
  "Higher Order Deforestation"
  Fundamenta Informaticae, 69(1-2):39-61
  January 2006
  IOS Press
  


• B. Aziz, D. Gray and G.W. Hamilton
  "A Static Analysis of PKI-Based Systems"
  Proceedings of The Ninth Italian Conference on Theoretical Computer Science
  Siena, Italy, October 2005
  Lecture Notes in Computer Science LNCS 3701:51-65
  


• B. Power and G.W. Hamilton
  "Declassification: Transforming Java Programs to Remove Intermediate Classes"
  Proceedings of the Fifth International Workshop on Source Code Analysis and Manipulation
  Budapest, Hungary, September 2005
  IEEE Computer Society
  


• B. Aziz, G.W. Hamilton and D. Gray
  "A Static Analysis of Cryptographic Processes: The Denotational Approach"
  Journal of Logic and Algebraic Programming, 64(2):285-320
  August 2005
  Elsevier
  


• G.W. Hamilton
  "Poitín: Distilling Theorems From Conjectures"
  Proceedings of The Twelfth Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
  Newcastle-Upon-Tyne, England, July 2005
  Electronic Notes in Theoretical Computer Science 151(1):143-160
  


• D. Sinclair, D. Gray and G.W. Hamilton
  "Synthesising Attacks on Cryptographic Protocols"
  Second International Symposium on Automated Technology for Verification and Analysis
  Taipei, Taiwan, November 2004
  Lecture Notes in Computer Science LNCS 3299:49-63
  


• D. Gray, B. Aziz and G.W. Hamilton
  "SPIKY: A Nominal Calculus for modelling Protocols that use PKIs"
  Proceedings of the International Workshop on Security Analysis of Systems: Formalism and Tools
  Orleans, France, June 2004
  


• B. Aziz, G.W. Hamilton and D. Gray
  "A Denotational Approach to Static Analysis of Cryptographic Processes"
  Proceedings of The International Workshop on Software Verification and Validation
  Mumbai, India, December 2003
  Electronic Notes in Theoretical Computer Science 118:19-36
  


• B. Aziz and G.W. Hamilton
  "A Privacy Analysis for the Pi-Calculus: The Denotational Approach"
  Proceedings of The Second Workshop on Specification, Analysis and Verification for Emerging Technologies
  Copenhagen, Denmark, July 2002
  


• G.W. Hamilton
  "Extending Higher Order Deforestation: Transforming Programs to Eliminate Even More Trees"
  Proceedings of the Third Scottish Functional Programming Workshop
  Stirling, Scotland, August 2001
  Chapter in Trends in Functional Programming (Volume 3)
  Intellect Books, 2002
  


• B. Aziz, D. Gray, G.W. Hamilton, F. Oehl, J. Power and D. Sinclair
  "Implementing Protocol Verification for E-Commerce"
  Proceedings of the International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet
  L'Aquila, Italy, August 2001
  


• B. Power and G.W. Hamilton
  "Declassification: Transforming Java Programs to Remove Intermediate Classes"
  Proceedings of the Workshop on Intermediate Representation Engineering for the Java Virtual Machine
  Orlando, Florida, USA, July 2001
  


• B. Aziz and G.W. Hamilton
  "A Denotational Semantics for the Pi-Calculus"
  Proceedings of The Fifth Irish Workshop on Formal Methods
  Dublin, Ireland, July 2001
  


• D. Gray, G.W. Hamilton, J. Power and D. Sinclair
  "A Specification of TCP/IP using Mixed Intuitionistic Linear Logic"
  Proceedings of the 2nd Joint Workshop on Formal Specification of Computer-Based Systems
  Washington DC, USA, April 2001
  


• G.W. Hamilton
  "Composing Fair Objects"
  International Journal of Computer and Information Science, 1(3): 134-144
  September 2000
  


• G.W. Hamilton, J.P. Gibson and D. Méry
  "Composing Fair Objects"
  Proceedings of the International Conference on Software Engineering Applied to Networking & Parallel/ Distributed Computing
  Reims, France, May 2000
  


• J.P. Gibson, G.W. Hamilton and D. Méry
  "A Taxonomy for Triggered Interactions Using Fair Object Semantics"
  Proceedings of the Feature Interaction Workshop 2000
  Glasgow, Scotland, May 2000
  IOS Press
  


• D. Sinclair, J. Power, J.P. Gibson, D. Gray and G.W. Hamilton
  "Specifying and Verifying IP with Linear Logic"
  Proceedings of the International Workshop on Distributed System Validation and Verification
  Taipei, Taiwan, April 2000
  IEEE Computer Society Press
  


• D. Gray, G.W. Hamilton, D. Sinclair, J.P. Gibson and J. Power
  "Four Logics and a Protocol"
  Proceedings of The Third Irish Workshop on Formal Methods
  Galway, Ireland, July 1999
  BCS Electronic Workshops in Computing
  


• J.P. Gibson, G.W. Hamilton and D. Méry
  "Integration Problems in Telephone Feature Requirements"
  Proceedings of The First International Conference on Integrated Formal Methods, 129-151
  York, England, June 1999
  Springer
  


• O.P. Brereton, D. Budgen and G.W. Hamilton
  "Hypertext: The Next Maintenance Mountain"
  IEEE Computer, 31(12):49-55
  December 1998
  IEEE Computer Society
  


• G.W. Hamilton
  "Usage Counting Analysis for Lazy Functional Languages"
  Information and Computation, 146(2):100-137
  November 1998
  Academic Press
  


• G.W. Hamilton
  "Higher Order Deforestation"
  Proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, 213-227
  Aachen, Germany, September 1996
  Springer
  Lecture Notes in Computer Science LNCS 1140
  


• G.W. Hamilton
  "Compile-Time Garbage Collection for Lazy Functional Languages"
  Proceedings of the 1995 International Workshop on Memory Management, 119-144
  Kinross, Scotland, September 1995
  Springer
  Lecture Notes in Computer Science LNCS 986
  


• G.W. Hamilton
  "Garbage Recycling: Transforming Programs to Reuse Garbage"
  Technical Report TR95-13
  Department of Computer Science, Keele University
  July 1995
  


• G.W. Hamilton
  "Determining Usage Information in Lazy Functional Languages"
  Technical Report TR95-12
  Department of Computer Science, Keele University
  July 1995
  


• G.W. Hamilton
  "Higher-Order Deforestation"
  Technical Report TR95-07
  Department of Computer Science, Keele University
  July 1995
  


• G.W. Hamilton
  "Extending First Order Deforestation"
  Technical Report TR95-06
  Department of Computer Science, Keele University
  July 1995
  


• G.W. Hamilton
  "Compile-Time Optimisation of Store Usage in Lazy Functional Programs"
  PhD Thesis
  Department of Computing Science and Mathematics, University of Stirling
  October 1993
  


• G.W. Hamilton
  "Sharing Analysis of Lazy First Order Functional Programs"
  Proceedings of the Workshop on Static Analysis, 68-78
  Bordeaux, France, September 1992
  BIGRE Vol 81-82
  


• G.W. Hamilton and S.B. Jones
  "Transforming Programs to Eliminate Intermediate Structures"
  Proceedings of the Workshop on Static Analysis of Equational, Functional and Logic Programming Languages, 182-188
  Bordeaux, France, October 1991
  BIGRE Vol 74
  


• G.W. Hamilton and S.B. Jones
  "Extending Deforestation for First Order Functional Programs"
  Proceedings of the 1991 Glasgow Workshop on Functional Programming, 134-145
  Portree, Isle of Skye, Scotland, August 1991
  Springer-Verlag
  BCS Workshops in Computing
  


• G.W. Hamilton
  "Compile-Time Garbage Avoidance"
  Technical Report TR 74
  Department of Computing Science and Mathematics, University of Stirling
  December 1991
  


• G.W. Hamilton and S.B. Jones
  "Compile-Time Garbage Collection by Necessity Analysis"
  Proceedings of the 1990 Glasgow Workshop on Functional Programming, 66-70
  Ullapool, Scotland, August 1990
  Springer-Verlag
  BCS Workshops in Computing
  


• G.W. Hamilton and S.B. Jones
  "Compile-Time Garbage Collection by Necessity Analysis"
  Technical Report TR 67
  Department of Computing Science and Mathematics, University of Stirling
  September 1990
  

[ Back to the top ]