Position Paper: Thoughts on Programming with Proof Assistants.

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

Keyphrases

programming language
intelligent agents
future directions
object oriented programming
programming environment
linear logic
proof planning
data mining
functional language
high level language
neural network
general purpose
proof theory
programming education
geometry theorem proving