Modular, Correct Compilation with Automatic Soundness Proofs.

Dominic Steinhöfel Reiner Hähnle

Published in: ISoLA (1) (2018)

Keyphrases

semi automatic
fully automatic
computer vision
data driven
database
data mining
multiscale
multi agent
expert systems
information technology
evolutionary algorithm
theorem proving
decision procedures