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
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}
}