Login / Signup

Axiomatic Definability and Completeness for Recursive Programs.

Albert R. MeyerJohn C. Mitchell
Published in: POPL (1982)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • transformation rules
  • fixed point
  • logic programming
  • order sorted
  • finitely representable
  • case study
  • data driven
  • database
  • artificial intelligence
  • object oriented