@inproceedings{ DBLP:conf/icse/MilicevicNKJ15,
  author = {Aleksandar Milicevic and
               Joseph P. Near and
               Eunsuk Kang and
               Daniel Jackson},
  title = {Alloy*: {A} General-Purpose Higher-Order Relational Constraint Solver},
  note = {ACM SIGSOFT Distinguished Paper Award},
  booktitle = {37th {IEEE/ACM} International Conference on Software Engineering (ICSE)},
  year = {2015},
  url = {http://alloy.mit.edu/alloy/hola/downloads/icse15-alloystar.pdf}
}

{"_id":"f7u4kxJTBg5a9pJAX","bibbaseid":"milicevic-near-kang-jackson-alloyageneralpurposehigherorderrelationalconstraintsolver-2015","downloads":0,"creationDate":"2015-11-11T21:23:57.068Z","title":"Alloy*: A General-Purpose Higher-Order Relational Constraint Solver","author_short":["Milicevic, A.","Near, J.<nbsp>P.","Kang, E.","Jackson, D."],"year":2015,"bibtype":"inproceedings","biburl":"http://sdg.csail.mit.edu/sdgpub.bib","bibdata":{"author":["Milicevic, Aleksandar","Near, Joseph P.","Kang, Eunsuk","Jackson, Daniel"],"author_short":["Milicevic, A.","Near, J.<nbsp>P.","Kang, E.","Jackson, D."],"bibtex":"@inproceedings{ DBLP:conf/icse/MilicevicNKJ15,\n author = {Aleksandar Milicevic and\n Joseph P. Near and\n Eunsuk Kang and\n Daniel Jackson},\n title = {Alloy*: {A} General-Purpose Higher-Order Relational Constraint Solver},\n note = {ACM SIGSOFT Distinguished Paper Award},\n booktitle = {37th {IEEE/ACM} International Conference on Software Engineering (ICSE)},\n year = {2015},\n url = {http://alloy.mit.edu/alloy/hola/downloads/icse15-alloystar.pdf}\n}","bibtype":"inproceedings","booktitle":"37th IEEE/ACM International Conference on Software Engineering (ICSE)","id":"DBLP:conf/icse/MilicevicNKJ15","key":"DBLP:conf/icse/MilicevicNKJ15","note":"ACM SIGSOFT Distinguished Paper Award","title":"Alloy*: A General-Purpose Higher-Order Relational Constraint Solver","type":"inproceedings","url":"http://alloy.mit.edu/alloy/hola/downloads/icse15-alloystar.pdf","year":"2015","bibbaseid":"milicevic-near-kang-jackson-alloyageneralpurposehigherorderrelationalconstraintsolver-2015","role":"author","urls":{"Paper":"http://alloy.mit.edu/alloy/hola/downloads/icse15-alloystar.pdf"},"downloads":0,"html":""},"search_terms":["alloy","general","purpose","higher","order","relational","constraint","solver","milicevic","near","kang","jackson"],"keywords":[],"authorIDs":["5456dee58b01c8193000000f"],"dataSources":["S9bD6CiQR3ArYkKtw"]}