Articles matching “Buchs”

1. Aurélien Coet, Didier Buchs, Revisiting Borrow Checking with Abstract Interpretation, pp. 1:1-16, DOI. Volume 25, no. 1 ( 2026)
2. Dimitri Racordon, Aurélien Coet, Didier Buchs, Toward a Lingua Franca for Memory Safety, pp. 2:1-11, PDF, DOI. Volume 21, no. 2 ( 2022)