Certified Result Checking for Polyhedral Analysis of Bytecode Programs

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