Synthesis of Fixed-Point Programs

paper ps   

Citation

Eva Darulova, Viktor Kuncak, Rupak Majumdar, and Indranil Saha. Synthesis of fixed-point programs. In Embedded Software (EMSOFT), 2013.

BibTex Entry

@inproceedings{DarulovaETAL13SynthesisFixedPointPrograms,
  author = {Eva Darulova and Viktor Kuncak and Rupak Majumdar and Indranil Saha},
  title = {Synthesis of Fixed-Point Programs},
  booktitle = {Embedded Software (EMSOFT)},
  year = 2013
}