A LLOY : General-Purpose Higher-Order Relational Constraint Solver Aleksandar Milicevic ,
A LLOY : General-Purpose Higher-Order Relational Constraint Solver Aleksandar Milicevic , Joseph P . Near, Eunsuk Kang, Daniel Jackson {aleks,jnear,eskang,dnj}@csail.mit.edu ICSE 2015 Florence, Italy 1 What is A LLOY A LLOY : a
1.71k views • 150 slides