John Gallagher, investigador de Instituto IMDEA Software y Bishoksan Kafle, coautor, han recibido el premio a la mejor publicación científica en el Workshop on Partial Evaluation and Program Manipulation 2015 (PEPM ’15), por su publicación titulada “Constraint Specialisation in Horn Clause Verification.”
El artículo aparece en las Actas del Workshop on Partial Evaluation and Program Manipulation 2015 (PEPM ’15), editadas por Kenichi Asai y Kostis Sagonas, y publicadas por la “Association for Computing Machinery (ACM)” americana: DOI.
