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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-15331-0_2 | FOPARA |
Keywords | Field | DocType |
call count analysis,present extension,amortised cost,higher-order program,type-based inference engine,embedded systems language,resource analysis,improved presentation,inference engine,infer resource bound | Data mining,Resource analysis,Computer science,Usability,Inference engine,Artificial intelligence,Machine learning | Conference |
Volume | ISSN | ISBN |
6324 | 0302-9743 | 3-642-15330-5 |
Citations | PageRank | References |
1 | 0.35 | 22 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hans-Wolfgang Loidl | 1 | 340 | 38.89 |
Steffen Jost | 2 | 247 | 12.36 |