Verified LISP Implementations on ARM, x86 and PowerPC.

Magnus O. Myreen Michael J. C. Gordon

Published in: TPHOLs (2009)

Keyphrases

learning theory
programming language
operating system
databases
knowledge representation
computer programs
data mining
machine learning
genetic algorithm
computer vision
database systems
multiscale
software implementation
john mccarthy