1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.PL2020★ 1 cited
Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars
Manfred Schmidt-Schauß, David Sabel
Comparison of concurrent programming languages and correctness of program transformations in concurrency are the focus of this research. As criterion we use contextual semantics ad…
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…