Certified Result Checking for Polyhedral Analysis of Bytecode Programs

by Frédéric Besson , Thomas Jensen , David Pichardie , Tiphaine Turpin
Citations:3 - 3 self