Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis.
Saved in:
| Title: | Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. |
|---|---|
| Authors: | DOMÉNECH, JESÚS J.1, jdomenech@ucm.es, GALLAGHER, JOHN P.2, jpg@ruc.dk, GENAIM, SAMIR1, sgenaim@ucm.es |
| Source: | Theory & Practice of Logic Programming; Sep2019, Vol. 19 Issue 5/6, p990-1005, 16p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068419000310 |
