Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. On the Computational Complexity of Program Schemata

On the Computational Complexity of Program Schemata

File(s)
74-196.ps (442.24 KB)
74-196.pdf (1.63 MB)
Permanent Link(s)
https://hdl.handle.net/1813/6036
Collections
Computer Science Technical Reports
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
computer science
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR74-196
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance