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


Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland

School/Research organisations


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 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
Number of pages17
ISBN (Print)978-3-540-74129-9
StatePublished - 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
ISSN (Print)0302-9743


Conference18th International Symposium on Implementation and Application of Functional Languages, IFL 2006

    Research areas


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

View graph of relations

Related by author

  1. Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journalArticle

  2. The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang

    Stypka, J., Turek, W., Byrski, A., Kisiel-Dorohinicki, M., Barwell, A. D., Brown, C. M., Hammond, K. & Janjic, V. Feb 2018 In : International Journal of Parallel Programming. 46, 1, p. 4-22 19 p.

    Research output: Contribution to journalArticle

  3. Proof-relevant Horn clauses for dependent type inference and term synthesis

    Farka, F., Komendantskya, E. & Hammond, K. 2018 In : Theory and Practice of Logic Programming. 18, 3-4, p. 484-501

    Research output: Contribution to journalArticle

  4. Type-based cost analysis for lazy functional languages

    Jost, S., Vasconcelos, P., Florido, M. & Hammond, K. Jun 2017 In : Journal of Automated Reasoning. 59, 1, p. 87-120 34 p.

    Research output: Contribution to journalArticle

ID: 6640804