Login / Signup

Designing Programs that Check Their Work.

Manuel BlumSampath Kannan
Published in: J. ACM (1995)
Keyphrases
  • relational databases
  • computer programs
  • databases
  • artificial intelligence
  • decision making
  • fixpoint
  • stable models
  • intermediate level
  • automatic programming