1 results
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 990-1005
-
- Article
- Export citation