1. A Transformational Approach to Resource Analysis with Typed-norms Inference. Issue 3 (5th May 2020) Authors: ALBERT, ELVIRA; GENAIM, SAMIR; GUTIÉRREZ, RAÚL; MARTIN-MARTIN, ENRIQUE Journal: Theory and practice of logic programming Issue: Volume 20:Issue 3(2020) Page Start: 310 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. Issue 5 (September 2019) Authors: DOMÉNECH, JESÚS J.; GALLAGHER, JOHN P.; GENAIM, SAMIR Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 990 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗