A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections.

Jan Midtgaard Michael D. Adams Matthew Might

Published in: SAS (2012)

Keyphrases

real time
theorem proving
data sets
databases
machine learning
website
special case
theorem prover