Verified LISP Implementations on ARM, x86 and PowerPC

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_25 ◽

2009 ◽

pp. 359-374 ◽

Author(s):

Magnus O. Myreen ◽

Michael J. C. Gordon

Download Full-text