7 citations · 16 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 1 cited
Automating the Diagram Method to Prove Correctness of Program Transformations
David Sabel
We report on the automation of a technique to prove the correctness of program transformations in higher-order program calculi which may permit recursive let-bindings as they occur…
cs.PL2019
Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Joachim Niehren, David Sabel
This volume contains the formal proceedings of the 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018), held on 8th of Juli 20…