Cross-Level Debugging for Static Analysers

Mats Van Molle, Bram Vandenbogaerde, Coen De Roover. Cross-Level Debugging for Static Analysers. In João Saraiva, Thomas Degueule, Elizabeth Scott, editors, Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2023, Cascais, Portugal, October 23-24, 2023. pages 138-148, ACM, 2023. [doi]

Authors

Mats Van Molle

This author has not been identified. Look up 'Mats Van Molle' in Google

Bram Vandenbogaerde

This author has not been identified. Look up 'Bram Vandenbogaerde' in Google

Coen De Roover

This author has not been identified. Look up 'Coen De Roover' in Google