The Weird Machines in Proof-Carrying Code.

Published in: IEEE Symposium on Security and Privacy Workshops (2014)

Keyphrases

source code
theorem proving
e learning
high level
learning machines
error detection
linear logic
data sets
real world
machine learning
software development
human intelligence
code generation