Improvements to a resource analysis for hume

Hans Wolfgang Loidl; Steffen Jost

doi:10.1007/978-3-642-15331-0_2

Improvements to a resource analysis for hume

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers
Pages	18-33
Number of pages	16
Volume	6324 LNCS
DOIs	https://doi.org/10.1007/978-3-642-15331-0_2
Publication status	Published - 2010
Event	1st International Workshop on Foundational and Practical Aspects of Resource Analysis - Eindhoven, Netherlands Duration: 6 Nov 2009 → 6 Nov 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6324 LNCS
ISSN (Print)	0302-9743

Conference

Conference	1st International Workshop on Foundational and Practical Aspects of Resource Analysis
Abbreviated title	FOPARA 2009
Country/Territory	Netherlands
City	Eindhoven
Period	6/11/09 → 6/11/09

Access to Document

10.1007/978-3-642-15331-0_2

Cite this

Loidl, H. W., & Jost, S. (2010). Improvements to a resource analysis for hume. In Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers (Vol. 6324 LNCS, pp. 18-33). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6324 LNCS). https://doi.org/10.1007/978-3-642-15331-0_2

Loidl, Hans Wolfgang ; Jost, Steffen. / Improvements to a resource analysis for hume. Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers. Vol. 6324 LNCS 2010. pp. 18-33 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5de5115bfaaf4eb1a5a35f2b61a854dc,

title = "Improvements to a resource analysis for hume",

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. {\textcopyright} 2010 Springer-Verlag.",

author = "Loidl, {Hans Wolfgang} and Steffen Jost",

year = "2010",

doi = "10.1007/978-3-642-15331-0_2",

language = "English",

isbn = "3642153305",

volume = "6324 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "18--33",

booktitle = "Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers",

note = "1st International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009 ; Conference date: 06-11-2009 Through 06-11-2009",

}

Loidl, HW & Jost, S 2010, Improvements to a resource analysis for hume. in Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers. vol. 6324 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6324 LNCS, pp. 18-33, 1st International Workshop on Foundational and Practical Aspects of Resource Analysis, Eindhoven, Netherlands, 6/11/09. https://doi.org/10.1007/978-3-642-15331-0_2

Improvements to a resource analysis for hume. / Loidl, Hans Wolfgang; Jost, Steffen.
Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers. Vol. 6324 LNCS 2010. p. 18-33 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6324 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 -

Loidl HW, Jost S. Improvements to a resource analysis for hume. In Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers. Vol. 6324 LNCS. 2010. p. 18-33. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-15331-0_2

Improvements to a resource analysis for hume

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this