形上升才刺激
发表于 2025-3-28 16:23:38
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languagesatically inferred from the partial evaluation process itself. In some cases, the equations can be solved by transforming their arguments from arbitrary data types to natural numbers. In other cases, it is possible to estimate the improvement of a partial evaluation by analyzing the associated cost recurrence equations.
innate
发表于 2025-3-28 20:53:56
http://reply.papertrans.cn/59/5879/587860/587860_42.png
休闲
发表于 2025-3-29 01:17:37
978-3-540-42127-6Springer-Verlag Berlin Heidelberg 2001
粘
发表于 2025-3-29 06:56:08
Logic Based Program Synthesis and Transformation978-3-540-45142-6Series ISSN 0302-9743 Series E-ISSN 1611-3349
reflection
发表于 2025-3-29 09:12:24
0302-9743 Overview: Includes supplementary material: 978-3-540-42127-6978-3-540-45142-6Series ISSN 0302-9743 Series E-ISSN 1611-3349