Login / Signup
POPL 2014 program chair's report.
Peter Sewell
Published in:
ACM SIGPLAN Notices (2014)
Keyphrases
</>
databases
bayesian networks
program execution
real time
information systems
database systems
artificial neural networks
test cases
computer programs
automatic programming
program understanding