Correctness Proofs for Abstract Implementations.

Published in: ADT (1986)

Keyphrases

high level
theorem prover
theorem proving
data sets
information systems
low level
higher level
efficient implementation
neural network
metadata
database systems
information technology
knowledge level
formal proofs
equational theories