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...Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-32
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-28
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-06, Vol.8 (PLDI), p.1704-1729, Article 216
2024
Volltextzugriff (PDF)
NASA Formal Methods, 2019, Vol.11460, p.123-129
2019
Volltextzugriff (PDF)
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, p.918-933
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Software Engineering
- Science & Technology
- Technology
- Gradual Typing
- Logical Relation
- Parametricity
- Angr
- Bap
- Binary Analysis
- Computer Science, Theory & Methods
- Cyber Security
- Differential Analysis
- Dynamic Typing
- Formal Software Verification
- Graduality
- Integration Frameworks
- Polymorphism
- Public Key Techniques
- Security And Privacy
Kollektion
Zeitschrift / Serie
Neu hinzugefügt