Abstract Implementations and Their Correctness Proofs

Cyrus F. Nourani

Published in: J. ACM (1983)

Keyphrases

high level
real time
efficient implementation
machine learning
decision trees
case study
theorem prover
software implementation
database
neural network
decision making
metadata
data model
theorem proving
parallel implementations