Deductive Runtime Certification

Konstantine Arkoudas, Martin C. Rinard. Deductive Runtime Certification. Electronic Notes in Theoretical Computer Science, 113:45-63, 2005. [doi]

Abstract

Abstract is missing.