Login / Signup
Directed Proof Generation for Machine Code.
Aditya V. Thakur
Junghee Lim
Akash Lal
Amanda Burton
Evan Driscoll
Matt Elder
Tycho Andersen
Thomas W. Reps
Published in:
CAV (2010)
Keyphrases
</>
source code
linear logic
neural network
information retrieval
social networks
expert systems
generation algorithm
databases
artificial intelligence
website
multiscale
natural language
np hard
theorem prover
theorem proving
generation process
generation method