3 ms·
Magnus Myreen leveraged that property when mathematically verifying one down to machine code. Used LISP 1.5. Built a bigger language (CakeML) on that. http://w
by nickpsecurity 10y ago
Magnus Myreen leveraged that property when mathematically verifying one down to machine code. Used LISP 1.5. Built a bigger language (CakeML) on that.
http://www.cl.cam.ac.uk/~mom22/tphols09-lisp.pdf http://www.cl.cam.ac.uk/~mom22/tphols09-lisp.pdf
Note: Even if not doing formal methods, one can benefit from such work by making their interpreter equivalent in features, running the same tests/apps through both, and checking for their equivalence.