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