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]

@inproceedings{MolleVR23,
  title = {Cross-Level Debugging for Static Analysers},
  author = {Mats Van Molle and Bram Vandenbogaerde and Coen De Roover},
  year = {2023},
  doi = {10.1145/3623476.3623512},
  url = {https://doi.org/10.1145/3623476.3623512},
  researchr = {https://researchr.org/publication/MolleVR23},
  cites = {0},
  citedby = {0},
  pages = {138-148},
  booktitle = {Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2023, Cascais, Portugal, October 23-24, 2023},
  editor = {João Saraiva and Thomas Degueule and Elizabeth Scott},
  publisher = {ACM},
}