Continuous code-quality assurance with SAFE

Emmanuel Geay, Eran Yahav, Stephen J. Fink. Continuous code-quality assurance with SAFE. In John Hatcliff, Frank Tip, editors, Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006. pages 145-149, ACM, 2006. [doi]

@inproceedings{GeayYF06,
  title = {Continuous code-quality assurance with SAFE},
  author = {Emmanuel Geay and Eran Yahav and Stephen J. Fink},
  year = {2006},
  doi = {10.1145/1111542.1111567},
  url = {http://doi.acm.org/10.1145/1111542.1111567},
  researchr = {https://researchr.org/publication/GeayYF06},
  cites = {0},
  citedby = {0},
  pages = {145-149},
  booktitle = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006},
  editor = {John Hatcliff and Frank Tip},
  publisher = {ACM},
  isbn = {1-59593-196-1},
}