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 proceedingConference contribution

1 Citation (Scopus)

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. © Springer-Verlag Berlin Heidelberg 2007.

Original languageEnglish
Title of host publicationImplementation and Application of Functional Languages - 18th International Symposium, IFL 2006, Revised Selected Papers
Pages91-107
Number of pages17
Volume4449 LNCS
Publication statusPublished - 2007
Event18th International Symposium on Implementation and Application of Functional Languages - Budapest, Hungary
Duration: 4 Sep 20076 Sep 2007

Publication series

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

Conference

Conference18th International Symposium on Implementation and Application of Functional Languages
Abbreviated titleIFL 2006
CountryHungary
CityBudapest
Period4/09/076/09/07

Cite this