Analyzing recursive programs using a fixed-point calculus.

Salvatore La Torre Parthasarathy Madhusudan Gennaro Parlato

Published in: PLDI (2009)

Keyphrases

fixed point
recursive programs
program synthesis
logic programs
transformation rules
sufficient conditions
fixed point theorem
dynamical systems
floating point
databases
background knowledge
belief propagation
logic programming
least squares
similarity measure
database systems
image segmentation