9 citations · 19 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2012★ 8 cited
First steps towards the certification of an ARM simulator using Compcert
Xiaomu Shi, Jean-François Monin, Frederic Tuong +1
The simulation of Systems-on-Chip (SoC) is nowadays a hot topic because, beyond providing many debugging facilities, it allows the development of dedicated software before the hard…
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…