Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
- Doménech, J.J.
- Gallagher, J.P.
- Genaim, S.
ISSN: 1475-3081, 1471-0684
Argitalpen urtea: 2019
Alea: 19
Zenbakia: 5-6
Orrialdeak: 990-1005
Mota: Artikulua