1 citations · 3 across the 6 of their papers we have counts for
5 papers · 1 filter
A Probabilistic Call-by-Need Lambda-Calculus -- Extended Version
David Sabel, Manfred Schmidt-Schauß, Luca Maio
To support the understanding of declarative probabilistic programming languages, we introduce a lambda-calculus with a fair binary probabilistic choice that chooses between its arg…
Minimal Translations from Synchronous Communication to Synchronizing Locks
Manfred Schmidt-Schauß, David Sabel
In order to understand the relative expressive power of larger concurrent programming languages, we analyze translations of small process calculi which model the communication and…
Minimal Translations from Synchronous Communication to Synchronizing Locks (Extended Version)
Manfred Schmidt-Schauß, David Sabel
In order to understand the relative expressive power of larger concurrent programming languages, we analyze translations of small process calculi which model the communication and…
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…
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea, David Sabel
This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September…