Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
Marie-Christine Jakobs, Heike Wehrheim
Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Towards a Compiler for Reals
Eva Darulova, Viktor Kuncak
Newtonian Program Analysis via Tensor Product
Thomas Reps, Emma Turetsky, Prathmesh Prabhu
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: