Synthesis of fixed-point programs.

Eva Darulova Viktor Kuncak Rupak Majumdar Indranil Saha

Published in: EMSOFT (2013)

Keyphrases

fixed point
sufficient conditions
dynamical systems
floating point
fixed point theorem
object recognition
constraint databases
bargaining solution
relational databases
higher order
variational inequalities