Cited By
View all- Yip EGirault ARoop PBiglari-Abhari M(2023)Synchronous Deterministic Parallel Programming for Multi-Cores with ForeCACM Transactions on Programming Languages and Systems10.1145/359159445:2(1-74)Online publication date: 26-Jun-2023
- Avanzini MMoser GSchaper M(2020)A modular cost analysis for probabilistic programsProceedings of the ACM on Programming Languages10.1145/34282404:OOPSLA(1-30)Online publication date: 13-Nov-2020
- Winkler SMoser G(2020)Runtime Complexity Analysis of Logically Constrained RewritingLogic-Based Program Synthesis and Transformation10.1007/978-3-030-68446-4_2(37-55)Online publication date: 7-Sep-2020
- Show More Cited By