Summaries for While Programs with Recursion.

Andreas Podelski Ina Schaefer Silke Wagner

Published in: ESOP (2005)

Keyphrases

complex objects
transitive closure
computer programs
prolog programs
provably correct
automatic programming
real time
control program
social networks
machine learning
database
artificial neural networks
natural language
multiscale
website
java programs
information retrieval
summary generation