list | abstracts | bib ]

Synthesis of Fixed-Point Programs

paper pdf    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,
  localurl = {http://lara.epfl.ch/~kuncak/papers/DarulovaETAL13SynthesisFixedPointPrograms.pdf}
}

list | abstracts | bib ]