Search dblp for Publications

export results for "Growing solver-aided languages with Rosette"

 download as .bib file

@inproceedings{DBLP:conf/oopsla/TorlakB13,
  author    = {Emina Torlak and
               Rastislav Bod{\'{\i}}k},
  title     = {Growing solver-aided languages with rosette},
  booktitle = {Onward!},
  pages     = {135--152},
  publisher = {{ACM}},
  year      = {2013}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics