Home - Our People - Geoff Hamilton
Contact Details Dublin City University

Publications

2022

Hamilton, Geoff. 2022. The Next 700 Program Transformers. In: Logic-Based Program Synthesis and Transformation, Springer International Publishing.

2020

Ben-Amram, Amir M., Hamilton, Geoff. 2020. Tight Polynomial Worst-Case Bounds for Loop Programs. Logical Methods in Computer Science, Volume 16, Issue 2. Available at: https://lmcs.episciences.org/6477.
Hamilton, Geoff. 2020. Distilling Programs to Prove Termination. Electronic Proceedings in Theoretical Computer Science. doi: 10.4204/EPTCS.320.10.

2017

Hamilton, Geoff. 2017. Generating Loop Invariants for Program Verification by Transformation. Electronic Proceedings in Theoretical Computer Science, 253, 36-53.