2014 | OriginalPaper | Buchkapitel
A Transformational Approach to Resource Analysis with Typed-Norms
verfasst von : Elvira Albert, Samir Genaim, Raúl Gutiérrez
Erschienen in: Logic-Based Program Synthesis and Transformation
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In order to automatically infer the resource consumption of programs, analyzers track how
data sizes
change along a program’s execution. Typically, analyzers measure the sizes of data by applying
norms
which are mappings from data to natural numbers that represent the sizes of the corresponding data. When norms are defined by taking type information into account, they are named
typed-norms
. The main contribution of this paper is a transformational approach to resource analysis with typed-norms. The analysis is based on a transformation of the program into an
intermediate abstract program
in which each variable is abstracted with respect to all considered norms which are valid for its type. We also sketch a simple analysis that can be used to automatically infer the required, useful, typed-norms from programs.