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, 2023-10, Vol.7 (OOPSLA2), p.1905-1934, Article 289
2023
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Backwards Abstract Interpretation
- Callback Control Flow
- Computer Science
- Computer Science, Software Engineering
- Event-Driven Frameworks
- Formal Software Verification
- Framework Modeling
- Goal-Directed Verification
- Hoare Logic
- Logic And Verification
- Logic In Computer Science
- Message History Logics
- Modal And Temporal Logics
- Ordered Linear Logics
- Publish-Subscribe / Event-Based Architectures
- Refuting Callback Reachability
- Science & Technology
- Separation Logic
- Software And Its Engineering
Kollektion
Zeitschrift / Serie