Certified self-modifying code.

Hongxu Cai Zhong Shao Alexander Vaynberg

Published in: PLDI (2007)

Keyphrases

source code
database systems
neural network
linux kernel
data structure
search algorithm
data model
open source
error correcting