Improvements to a resource analysis for hume

Hans Wolfgang Loidl, Steffen Jost

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The core of our resource analysis for the embedded systems language Hume is a resource-generic, type-based inference engine that employs the concept of amortised costs to statically infer resource bounds. In this paper we present extensions and improvements of this resource analysis in several ways. We develop and assess a call count analysis for higher-order programs, as a specific instance of our inference engine. We address usability aspects in general and in particular discuss an improved presentation of the inferred resource bounds together with the possibility of interactively tuning these bounds. Finally, we demonstrate improvements in the performance of our analysis. © 2010 Springer-Verlag.

Original languageEnglish
Title of host publicationFoundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers
Pages18-33
Number of pages16
Volume6324 LNCS
DOIs
Publication statusPublished - 2010
Event1st International Workshop on Foundational and Practical Aspects of Resource Analysis - Eindhoven, Netherlands
Duration: 6 Nov 20096 Nov 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6324 LNCS
ISSN (Print)0302-9743

Conference

Conference1st International Workshop on Foundational and Practical Aspects of Resource Analysis
Abbreviated titleFOPARA 2009
CountryNetherlands
CityEindhoven
Period6/11/096/11/09

Fingerprint Dive into the research topics of 'Improvements to a resource analysis for hume'. Together they form a unique fingerprint.

Cite this