A Complete Axiomatic System for Proving Deductions about Recursive Programs

David Harel Amir Pnueli Jonathan Stavi

Published in: STOC (1977)

Keyphrases

recursive programs
program synthesis
transformation rules
logic programs
machine learning
case study
database
databases
open source