Local Driving in Higher-Order Positive Supercompilation via the Ω-theorem


A program transformation technique should terminate, return efficient output programs and be efficient itself. These requirements are mutually conflicting, so a balance must be sought between definite termination and possible efficiency. For positive supercompilation [17], ensuring termination requires memoisation of expressions, and these are subsequently… (More)


1 Figure or Table

Slides referencing similar topics