search result

Cover von Software Ecosystems
Tooling and Analytics
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Mailbox Abstractions for Static Analysis of Actor Programs

Mailbox Abstractions for Static Analysis of Actor Programs

Year: 2017
Media group: LIPIcs
Cover von Garbage-Free Abstract Interpretation Through Abstract Reference Counting

Garbage-Free Abstract Interpretation Through Abstract Reference Counting

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0