%0 Conference Paper %1 krishnamurthi_08_alchemy: %A Krishnamurthi, Shriram %A Fisler, Kathi %A Dougherty, Daniel J. %A Yoo, Daniel %B SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering %C New York, NY, USA %D 2008 %I ACM %K 2008 _hardcopy alloy %P 158--169 %R http://dx.doi.org/10.1145/1453101.1453123 %T Alchemy: transmuting base alloy specifications into implementations %U http://dx.doi.org/10.1145/1453101.1453123 %X Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent databases. Alchemy translates a subset of Alloy predicates into imperative update operations, and it converts facts into database integrity constraints that it maintains automatically in the face of these imperative actions. %@ 978-1-59593-995-1

@inproceedings{krishnamurthi_08_alchemy:, abstract = {Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent databases. Alchemy translates a subset of Alloy predicates into imperative update operations, and it converts facts into database integrity constraints that it maintains automatically in the face of these imperative actions.}, added-at = {2009-02-11T20:15:24.000+0100}, address = {New York, NY, USA}, author = {Krishnamurthi, Shriram and Fisler, Kathi and Dougherty, Daniel J. and Yoo, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2467056a1db177191c2da24c81b26f9dd/leonardo}, booktitle = {SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering}, citeulike-article-id = {3762537}, doi = {http://dx.doi.org/10.1145/1453101.1453123}, interhash = {8be249d8edf44f23fcf75aad57e75138}, intrahash = {467056a1db177191c2da24c81b26f9dd}, isbn = {978-1-59593-995-1}, keywords = {2008 _hardcopy alloy}, location = {Atlanta, Georgia}, pages = {158--169}, posted-at = {2008-12-09 19:00:21}, priority = {3}, publisher = {ACM}, timestamp = {2009-02-11T20:15:24.000+0100}, title = {Alchemy: transmuting base alloy specifications into implementations}, url = {http://dx.doi.org/10.1145/1453101.1453123}, year = 2008 }