Login (DCU Staff Only)
Login (DCU Staff Only)

DORAS | DCU Research Repository

Explore open access research and scholarly works from DCU

Advanced Search

Browse by Author

[Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Group by: Date | No Grouping
Jump to: 2021 | 2020 | 2019 | 2007 | 1993
Number of items: 8.

2021

Hamilton, Geoff orcid logoORCID: 0000-0001-5954-6444 (2021) The next 700 program transformers. In: International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2021, 7-8 Sept 2021, Tallinn, Estonia. ISBN 978-3-030-98868-5

2020

Hamilton, Geoff orcid logoORCID: 0000-0001-5954-6444 (2020) Distilling programs to prove termination. In: 8th International Workshop on Verification and Program Transformation, 25-26 Apr 2020, Dublin, Ireland.

Ben-Amram, Amir M. and Hamilton, Geoff orcid logoORCID: 0000-0001-5954-6444 (2020) Tight polynomial worst-case bounds for loop programs. Logical Methods in Computer Science, 16 (2). ISSN 1860-5974

Ben-Amram, Amir M. and Hamilton, Geoff orcid logoORCID: 0000-0001-5954-6444 (2020) Tight polynomial worst-case bounds for loop programs. Logical Methods in Computer Science, 16 (2). 4:1-4:39. ISSN 1860-5974

2019

Ben-Amram, Amir M. and Hamilton, Geoff orcid logoORCID: 0000-0001-5954-6444 (2019) Tight Worst-Case Bounds for Polynomial Loop Programs. In: International Conference on Foundations of Software Science and Computation Structures, 8-11 April 2019, Prague, Czech Republic. ISBN 978-3-030-17126-1

Ben-Amram, Amir M. and Hamilton, Geoff orcid logoORCID: 0000-0001-5954-6444 (2019) Tight polynomial bounds for Loop programs in polynomial space. In: International Conference on Foundations of Software Science and Computation Structures, 8-11 Apr 2019, Prague, Czech Republic. ISBN 978-3-030-17126-1

2007

Hamilton, Geoff orcid logoORCID: 0000-0001-5954-6444 (2007) Distilling programs for verification. Electronic Notes in Theoretical Computer Science, 190 (4). pp. 17-32. ISSN 1571-0661

1993

Hamilton, Geoff orcid logoORCID: 0000-0001-5954-6444 (1993) Compile-time optimisation of store usage in lazy functional programs. PhD thesis, University of Stirling.

This list was generated on Wed Jul 17 09:19:19 2024 UTC.