Towards Proof Generating Compilers.

Arnd Poetzsch-Heffter Marek Gawkowski

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

programming language
theorem proving
general purpose
machine learning
computer architecture
database
artificial intelligence
case study
knowledge representation