2 citations · 5 across the 6 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2022
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation
Geoffrey W. Hamilton, Temesghen Kahsai, Maurizio Proietti
These proceedings include selected papers presented at the 9th Workshop on Horn Clauses for Verification and Synthesis and the Tenth International Workshop on Verification and Prog…
cs.PL2021
The Next 700 Program Transformers
Geoffrey Hamilton
In this paper, we describe a hierarchy of program transformers in which the transformer at each level of the hierarchy builds on top of those at lower levels. The program transform…
cs.PL2016★ 2 cited
Program Transformation to Identify List-Based Parallel Skeletons
Venkatesh Kannan, G. W. Hamilton
Algorithmic skeletons are used as building-blocks to ease the task of parallel programming by abstracting the details of parallel implementation from the developer. Most existing l…