Recurrence Extraction from Lazy Programs

Abstract: In our work this summer, we addressed the relative lack of knowledge surrounding cost analysis of lazy programs relative to strict programs. The cost of a program can be defined in many different manners, but generally it corresponds with the amount of time required to complete operations in a computer program and it allows … Read more