A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact)

Συγγραφείς: Richter, David, Böhler, Timon, Weisenburger, Pascal, Mezini, Mira

Συνεισφορές: David Richter and Timon Böhler and Pascal Weisenburger and Mira Mezini

Θεματικοί όροι: parallelism, Software and its engineering → Concurrent programming structures, concurrency, ddc:004, do-notation, effects, Software and its engineering → Domain specific languages, Software and its engineering → Parallel programming languages

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.17

ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)

Συγγραφείς: Suchert, Felix, Zeidler, Lisza, Castrillon, Jeronimo, Ertel, Sebastian

Συνεισφορές: Felix Suchert and Lisza Zeidler and Jeronimo Castrillon and Sebastian Ertel

Θεματικοί όροι: concurrent programming, Theory of computation → Parallel computing models, ddc:004, verification, Software and its engineering → Parallel programming languages, scalability

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.16