Constructing a Calculus of Programs.

Lambert G. L. T. Meertens

Published in: MPC (1989)

Keyphrases

provably correct
answer sets
learning algorithm
artificial intelligence
logic programming
fixpoint
stable models
automatic programming
control structures
automated theorem proving