Proceedings of the ACM on Programming Languages

Title Titel
Proceedings of the ACM on Programming Languages
Publisher Herausgeber
Association for Computing Machinery (ACM)
Peer reviewed Begutachtet

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aschieri, Federico ; Genco, Francesco A. Par means parallel: multiplicative linear logic proofs as concurrent functional programs"Artikel Article 2020
2Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Niksic, Filip ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg Randomized testing of distributed systems with probabilistic guaranteesArtikel Article 2018
3Müllner, Julian ; Moosbrugger, Marcel ; Kovács, Laura Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) ProgramsArticle Artikel 5-Jan-2024
4Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura This Is the Moment for Probabilistic LoopsArticle Artikel 31-Oct-2022