Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...1st Edition 2017, 2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-04, Vol.7 (OOPSLA1), p.85-111, Article 78
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-30
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-29, Article 227
2020
Volltextzugriff (PDF)
Integrated Formal Methods, p.102-110
Volltextzugriff (PDF)
Integrated Formal Methods, p.145-160
Volltextzugriff (PDF)
Proceedings of the VLDB Endowment, 2021-08, Vol.14 (12), p.2918-2931
2021
Volltextzugriff (PDF)
Integrated Formal Methods, p.263-278
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-29
2021
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.396-424, Article 14
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-06, Vol.8 (PLDI), p.939-964, Article 185
2024
Volltextzugriff (PDF)
Integrated Formal Methods, 2017, Vol.10510, p.295-311
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-28
2020
Volltextzugriff (PDF)
Formal aspects of computing, 2018-09, Vol.30 (5), p.495-523
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-08, Vol.6 (ICFP), p.23-51
2022
Volltextzugriff (PDF)
Integrated Formal Methods, p.3-17
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-08, Vol.8 (ICFP), p.818-844, Article 264
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-08, Vol.4 (ICFP), p.1-29
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-27, Article 205
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-08, Vol.4 (ICFP), p.1-30
2020
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-11, Vol.19 (6), p.697-716
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1414-1437, Article 164
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Program Synthesis
- Computer Science, Theory & Methods
- Theory Of Computation
- Separation Logic
- Software And Its Engineering
- Logic
- Symbolic Execution
- Verification
- Automatic Programming
- Software Engineering
- Software Engineering/programming And Operating Systems
- Type Systems
- Annotations
- Automated Amortized Resource Analysis
- Automated Reasoning
- Class Invariant
Kollektion
Zeitschrift / Serie
Neu hinzugefügt