Login / Signup
Designing Programs that Check Their Work.
Manuel Blum
Sampath Kannan
Published in:
J. ACM (1995)
Keyphrases
</>
relational databases
computer programs
databases
artificial intelligence
decision making
fixpoint
stable models
intermediate level
automatic programming