On the Computational Complexity of Program Schemata
Permanent Link(s)
Collections
Author
Weihrauch, K.
Abstract
An ordering called "faster" is defined on the class of iterative program schemata. It is in good accordance with the intuition of "better" applied to program schemata. Many of the commonly used optimization techniques yield "faster" programs in this sense. For Ianov schemata the relation "faster" is decidable, but even on strong equivalence classes the ordering may be very complicated. For iterative program schemata there is a certain kind of speedup. Whereas there is an arbitrary slowdown for programs, slowdown for program schemata is limited.
Date Issued
1974-02
Publisher
Cornell University
Keywords
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR74-196
Type
technical report