2 citations · 5 across the 6 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
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…
cs.SE2016★ 1 cited
Generating Counterexamples for Model Checking by Transformation
G. W. Hamilton
Counterexamples explain why a desired temporal logic property fails to hold. The generation of counterexamples is considered to be one of the primary advantages of model checking a…