Programs, Proofs and Parametrized Specifications.

Iman Poernomo John N. Crossley Martin Wirsing

Published in: WADT (2001)

Keyphrases

recursive programs
computer programs
control flow
program synthesis
theorem proving
automatic programming
information retrieval
logic programs
intermediate level
fixpoint
mathematical proofs
formal proof
transformation rules
database
source code
case study
social networks
real time