Skip to content

Research at St Andrews

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland

School/Research organisations

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.

Close

Details

Original languageEnglish
Title of host publicationImplementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
EditorsZ. Horváth, V. Zsók, A. Butterfield
PublisherSpringer
Pages91-107
Number of pages17
ISBN (Print)978-3-540-74129-9
DOIs
Publication statusPublished - 2007
Event18th International Symposium on Implementation and Application of Functional Languages, IFL 2006 - Budapest, Hungary
Duration: 4 Sep 20066 Sep 2006

Publication series

NameLecture Notes in Computer Science
Volume4449
ISSN (Print)0302-9743

Conference

Conference18th International Symposium on Implementation and Application of Functional Languages, IFL 2006
CountryHungary
CityBudapest
Period4/09/066/09/06

    Research areas

  • HARDWARE DESIGN, LANGUAGE, SYSTEMS

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

ID: 6640804