Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo. Alchemy: transmuting base alloy specifications into implementations. In Mary Jean Harrold, Gail C. Murphy, editors, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008. pages 158-169, ACM, 2008. [doi]
@inproceedings{KrishnamurthiFDY08,
title = {Alchemy: transmuting base alloy specifications into implementations},
author = {Shriram Krishnamurthi and Kathi Fisler and Daniel J. Dougherty and Daniel Yoo},
year = {2008},
doi = {10.1145/1453101.1453123},
url = {http://doi.acm.org/10.1145/1453101.1453123},
tags = {rule-based},
researchr = {https://researchr.org/publication/KrishnamurthiFDY08},
cites = {0},
citedby = {0},
pages = {158-169},
booktitle = {Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008},
editor = {Mary Jean Harrold and Gail C. Murphy},
publisher = {ACM},
isbn = {978-1-59593-995-1},
}