search result

Cover von Static Analysis
32nd International Symposium, SAS 2025, Singapore, Singapore, October 13-14, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 16100
Media group: MONOGRAPHIE
Cover von Flow-Sensitive Type-Based Heap Cloning

Flow-Sensitive Type-Based Heap Cloning

Year: 2020
Media group: LIPIcs
Cover von Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering

Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering

Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0