A Proof Infrastructure for Binary Programs.

Ashlie B. Hocking Benjamin D. Rodes John C. Knight Jack W. Davidson Clark L. Coleman

Published in: NFM (2016)

Keyphrases

provably correct
imperative programs
information exchange
linear logic
theorem proving
hamming distance
computer programs
automatic programming
database
metadata
website
decision trees
data structure
data collection
theorem prover
recursive programs