David Pearce

Why they're in the Luvo100

Whiley turns contracts into properties a compiler can attempt to check, giving developers earlier feedback on some correctness errors. Pearce’s contribution is a working language and implementation that explores how verification can fit into ordinary programming.