Dorian Lesbre

1
Document

Publications

Publications

Deposit thumbnail

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-04535159v3