Testing-Based Compiler Validation for Synchronous Languages. Garoche, P., Howar, F., Kahsai, T., & Thirioux, X. In Proceedings of NASA Formal Methods, pages 246-251, 2014.
Testing-Based Compiler Validation for Synchronous Languages [link]Paper  bibtex   
@inproceedings{ dblp1926127,
  title = {Testing-Based Compiler Validation for Synchronous Languages},
  author = {Pierre-Loïc Garoche and Falk Howar and Temesghen Kahsai and Xavier Thirioux},
  author_short = {Garoche, P. and Howar, F. and Kahsai, T. and Thirioux, X.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1926127},
  id = {dblp1926127},
  biburl = {http://www.dblp.org/rec/bibtex/conf/nfm/GarocheHKT14},
  url = {http://dx.doi.org/10.1007/978-3-319-06200-6_19},
  conference = {NASA Formal Methods},
  pages = {246-251},
  text = {NASA Formal Methods 2014:246-251},
  booktitle = {Proceedings of NASA Formal Methods}
}

Downloads: 0