Towards a Framework for Building Formally Verified Supercompilers in Coq.

Dimitur Nikolaev Krustev

Published in: Trends in Functional Programming (2012)

Keyphrases

logic programs
main contribution
real world
website
computational framework
data mining
machine learning
theoretical framework
framework enables
database
neural network
computer vision
information systems
face recognition
information technology