Low-level programming in Hume: An exploration of the HW-Hume level

Kevin Hammond; Gudmund Grov; Greg Michaelson; Andrew Ireland

doi:10.1007/978-3-540-74130-5_6

Low-level programming in Hume: An exploration of the HW-Hume level

Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland

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

Abstract

This paper describes the HW-Hume level of the novel Hume language. HW-Hume is the simplest subset of Hume that we have identified. It provides strong formal properties but posseses limited abstraction capabilities. In this paper, we introduce HW-Hume, show some simple example programs, describe an efficient software implementation, and demonstrate how important properties can be exposed as part of an integrated formally-based verification approach.

Original language	English
Title of host publication	Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Editors	Z. Horváth, V. Zsók, A. Butterfield
Publisher	Springer
Pages	91-107
Number of pages	17
ISBN (Print)	978-3-540-74129-9
DOIs	https://doi.org/10.1007/978-3-540-74130-5_6
Publication status	Published - 2007
Event	18th International Symposium on Implementation and Application of Functional Languages, IFL 2006 - Budapest, Hungary Duration: 4 Sept 2006 → 6 Sept 2006

Publication series

Name	Lecture Notes in Computer Science
Volume	4449
ISSN (Print)	0302-9743

Conference

Conference	18th International Symposium on Implementation and Application of Functional Languages, IFL 2006
Country/Territory	Hungary
City	Budapest
Period	4/09/06 → 6/09/06

Keywords

HARDWARE DESIGN
LANGUAGE
SYSTEMS

Access to Document

10.1007/978-3-540-74130-5_6

EP/C001346/1: Generative Programming for Embedded Systems
Hammond, K. (PI)
EPSRC
1/01/05 → 31/12/07
Project: Standard

Cite this

Hammond, K., Grov, G., Michaelson, G., & Ireland, A. (2007). Low-level programming in Hume: An exploration of the HW-Hume level. In Z. Horváth, V. Zsók, & A. Butterfield (Eds.), Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers (pp. 91-107). (Lecture Notes in Computer Science; Vol. 4449). Springer. https://doi.org/10.1007/978-3-540-74130-5_6

Hammond, Kevin ; Grov, Gudmund ; Michaelson, Greg et al. / Low-level programming in Hume: An exploration of the HW-Hume level. Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. editor / Z. Horváth ; V. Zsók ; A. Butterfield. Springer, 2007. pp. 91-107 (Lecture Notes in Computer Science).

@inproceedings{53f95e9ba91945a295f995d735447cac,

title = "Low-level programming in Hume: An exploration of the HW-Hume level",

abstract = "This paper describes the HW-Hume level of the novel Hume language. HW-Hume is the simplest subset of Hume that we have identified. It provides strong formal properties but posseses limited abstraction capabilities. In this paper, we introduce HW-Hume, show some simple example programs, describe an efficient software implementation, and demonstrate how important properties can be exposed as part of an integrated formally-based verification approach.",

keywords = "HARDWARE DESIGN, LANGUAGE, SYSTEMS",

author = "Kevin Hammond and Gudmund Grov and Greg Michaelson and Andrew Ireland",

year = "2007",

doi = "10.1007/978-3-540-74130-5_6",

language = "English",

isbn = "978-3-540-74129-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "91--107",

editor = "Z. Horv{\'a}th and V. Zs{\'o}k and A. Butterfield",

booktitle = "Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers",

address = "Netherlands",

note = "18th International Symposium on Implementation and Application of Functional Languages, IFL 2006 ; Conference date: 04-09-2006 Through 06-09-2006",

}

Hammond, K, Grov, G, Michaelson, G & Ireland, A 2007, Low-level programming in Hume: An exploration of the HW-Hume level. in Z Horváth, V Zsók & A Butterfield (eds), Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Lecture Notes in Computer Science, vol. 4449, Springer, pp. 91-107, 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, Budapest, Hungary, 4/09/06. https://doi.org/10.1007/978-3-540-74130-5_6

Low-level programming in Hume: An exploration of the HW-Hume level. / Hammond, Kevin; Grov, Gudmund; Michaelson, Greg et al.
Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. ed. / Z. Horváth; V. Zsók; A. Butterfield. Springer, 2007. p. 91-107 (Lecture Notes in Computer Science; Vol. 4449).

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

TY - GEN

T1 - Low-level programming in Hume: An exploration of the HW-Hume level

AU - Hammond, Kevin

AU - Grov, Gudmund

AU - Michaelson, Greg

AU - Ireland, Andrew

PY - 2007

Y1 - 2007

N2 - This paper describes the HW-Hume level of the novel Hume language. HW-Hume is the simplest subset of Hume that we have identified. It provides strong formal properties but posseses limited abstraction capabilities. In this paper, we introduce HW-Hume, show some simple example programs, describe an efficient software implementation, and demonstrate how important properties can be exposed as part of an integrated formally-based verification approach.

AB - This paper describes the HW-Hume level of the novel Hume language. HW-Hume is the simplest subset of Hume that we have identified. It provides strong formal properties but posseses limited abstraction capabilities. In this paper, we introduce HW-Hume, show some simple example programs, describe an efficient software implementation, and demonstrate how important properties can be exposed as part of an integrated formally-based verification approach.

KW - HARDWARE DESIGN

KW - LANGUAGE

KW - SYSTEMS

U2 - 10.1007/978-3-540-74130-5_6

DO - 10.1007/978-3-540-74130-5_6

M3 - Conference contribution

SN - 978-3-540-74129-9

T3 - Lecture Notes in Computer Science

SP - 91

EP - 107

BT - Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

A2 - Horváth, Z.

A2 - Zsók, V.

A2 - Butterfield, A.

PB - Springer

T2 - 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006

Y2 - 4 September 2006 through 6 September 2006

ER -

Hammond K, Grov G, Michaelson G, Ireland A. Low-level programming in Hume: An exploration of the HW-Hume level. In Horváth Z, Zsók V, Butterfield A, editors, Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Springer. 2007. p. 91-107. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-74130-5_6

Low-level programming in Hume: An exploration of the HW-Hume level

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Projects

EP/C001346/1: Generative Programming for Embedded Systems

Cite this