'Certified' Self-modifying Programs

[Ben Banana]

I found this somewhat exciting.

 

http://flint.cs.yale.edu/flint/publications/smc.html

 

I'm not well acquainted with Coq -- and I never intend to be -- but this paper is exciting nevertheless due to its moderately landmark-sized accomplishments.

 

Cool!

 

Hope you enjoy looking over it.

Edited May 8, 2014 by Ben Banana

[zeon23445]

Very interesting.