11 citations · 27 across the 11 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.PL2010
Certifying cost annotations in compilers
Roberto M. Amadio, Nicolas Ayache, Yann Régis-Gianas +1
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the sou…
cs.LO2010
An affine-intuitionistic system of types and effects: confluence and termination
Roberto Amadio, Patrick Baillot, Antoine Madet
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs…