Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (ACM SIGSOFT Distinguished Paper Award). Milicevic, A.; Near, J. P.; Kang, E.; and Jackson, D. In 37th IEEE/ACM International Conference on Software Engineering (ICSE), 2015.
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (ACM SIGSOFT Distinguished Paper Award) [pdf]Paper  bibtex   3 downloads  
@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 (ACM SIGSOFT Distinguished Paper Award)},
  booktitle = {37th {IEEE/ACM} International Conference on Software Engineering (ICSE)},
  year      = {2015},
  url_paper = {pubs/2015/icse15-alloystar.pdf}
}

% Link originally went to http://www.gregdennis.com/alloy_mscs_2013.pdf, which is broken.
% Downloaded from http://homes.cs.washington.edu/~emina/pubs/alloy.mscs13.pdf by Matt, 2017-03-06
Downloads: 3