Pattern Matches in HOL: - A New Representation and Improved Code Generation.

Thomas Tuerk Magnus O. Myreen Ramana Kumar

Published in: ITP (2015)

Keyphrases

code generation
application development
software development
theorem prover
machine learning
data analysis
end users
formal methods