Cross-Level Debugging for Static Analysers

Vandenbogaerde, B. (Speaker)

Activity: Talk or presentation › Talk or presentation at a conference

Period	24 Oct 2023
Event title	16th ACM SIGPLAN International Conference on Software Language Engineering
Event type	Conference
Conference number	16
Location	Cascais, Portugal
Degree of Recognition	International

Documents & Links

https://2023.splashcon.org/details/sle-2023/1/Cross-Level-Debugging-for-Static-Analysers

Related content

Research output
Cross-Level Debugging for Static Analysers
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

Projects
Modular static analysis for soft contract verification of distributed actor programs
Project: Fundamental