Issue 1/2017
Extended versions of papers presented at LOPSTR 14
Content (7 Articles)
Original Article
Maximal incompleteness as obfuscation potency
Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda
Original Article
Partial evaluation of string obfuscations for Java malware detection
Aziem Chawdhary, Ranjeet Singh, Andy King
Original Article
On proving confluence modulo equivalence for Constraint Handling Rules
Henning Christiansen, Maja H. Kirkeby
Original Article
Constraint logic programming with a relational machine
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño
Original Article
Abstract conjunctive partial deduction for the analysis and compilation of coroutines
Vincent Nys, Danny De Schreye