Using higher order logic and functional languages to synthesize correct hardware.

Shiu-Kai Chin Edward P. Stabler Kevin J. Greene

Published in: ICCL (1988)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
functional language
real time
low cost
hardware implementation
functional programming
machine learning
high level
theorem proving
general purpose