Titlebook: Logic Based Program Synthesis and Transformation; 10th International W Kung-Kiu Lau Conference proceedings 2001 Springer-Verlag Berlin Heid

形上升才刺激

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

休閑

978-3-540-42127-6Springer-Verlag Berlin Heidelberg 2001

粘

Logic Based Program Synthesis and Transformation978-3-540-45142-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

reflection

0302-9743 Overview: Includes supplementary material: 978-3-540-42127-6978-3-540-45142-6Series ISSN 0302-9743 Series E-ISSN 1611-3349