Automatic Formal Synthesis of Hardware from Higher Order Logic.

Mike Gordon Juliano Iyoda Scott Owens Konrad Slind

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

Keyphrases

higher order logic
higher order
low cost
theorem prover
real time
computer systems
conditional logic
computational complexity
genetic programming
logical framework