Sortiert nach
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1442-1469, Article 273
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-27
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1905-1934, Article 289
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-29
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-34
2018
Volltextzugriff (PDF)
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014, p.311-324
2014
Volltextzugriff (PDF)
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015, p.413-424
2015
Volltextzugriff (PDF)
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, p.364-378
2022
Volltextzugriff (PDF)
SIGPLAN notices, 2015-08, Vol.50 (6), p.413-424
2015
Volltextzugriff (PDF)
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018, p.1-5
2018
Volltextzugriff (PDF)
SIGPLAN notices, 2014-11, Vol.49 (9), p.311-324
2014
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Concurrency
- Crdts
- Logic And Verification
- Replication
- Theory Of Computation
- Theory Of Computation -- Logic
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
- Weak Consistency
- Automated Reasoning
- Automated Static Analysis
- Availability
- Axiomatic Contracts
- Backwards Abstract Interpretation
- Callback Control Flow
Kollektion
Zeitschrift / Serie