3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.PL2013★ 3 cited
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra
Alexis Fouilhé, David Monniaux, Michaël Périn
Polyhedra form an established abstract domain for inferring runtime properties of programs using abstract interpretation. Computations on them need to be certified for the whole st…
cs.LO2009★ 2 cited
Gentzen-Prawitz Natural Deduction as a Teaching Tool
Jean-François Monin, Cristian Ene, Michaël Périn
We report a four-years experiment in teaching reasoning to undergraduate students, ranging from weak to gifted, using Gentzen-Prawitz's style natural deduction. We argue that this…