TY - GEN
T1 - Improvements to a resource analysis for hume
AU - Loidl, Hans Wolfgang
AU - Jost, Steffen
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=78149397404&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-15331-0_2
DO - 10.1007/978-3-642-15331-0_2
M3 - Conference contribution
SN - 3642153305
SN - 9783642153303
VL - 6324 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 18
EP - 33
BT - Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers
T2 - 1st International Workshop on Foundational and Practical Aspects of Resource Analysis
Y2 - 6 November 2009 through 6 November 2009
ER -