Dorian Lesbre

1
Document

Publications

Publications

Image document

Compiling with abstract interpretation

Dorian Lesbre , Matthieu Lemerre
Proceedings of the ACM on Programming Languages, 2024, 8, pp.368-393
Article dans une revue hal-04535159 v3