Author/Creator: GENAIM, SAMIR - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator GENAIM, SAMIR

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) ↗