search result

Cover von Static Analysis
30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14284
Media group: MONOGRAPHIE
Cover von Practical Aspects of Declarative Languages
23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18 - 19, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12548
Media group: MONOGRAPHIE
Cover von Towards Run-time Checks Simplification via Term Hiding

Towards Run-time Checks Simplification via Term Hiding

Year: 2018
Media group: OASICS
Cover von Towards Incremental and Modular Context-Sensitive Analysis

Towards Incremental and Modular Context-Sensitive Analysis

Year: 2018
Media group: OASICS
Cover von Multimedia tools for communicating mathematics
Search for this author
Year: 2002
Publisher: Berlin, Springer
Series: Mathematics and visualization
Media group: MONOGRAPHIE
Cover von Towards Static Performance Guarantees for Programs with Run-Time Checks

Towards Static Performance Guarantees for Programs with Run-Time Checks

Year: 2018
Media group: OASICS
OPEN V 11.1.0.0