The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines

Abstract

In this paper we present a static analysis for costs of higher-order workflows, where costs are maps from resource types to simple functions over time. We present a type and effect system together with an algorithm that yields safe approximations for the cost functions of programs.