TY - GEN
T1 - Low-level programming in Hume
T2 - 18th International Symposium on Implementation and Application of Functional Languages
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. © Springer-Verlag Berlin Heidelberg 2007.
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. © Springer-Verlag Berlin Heidelberg 2007.
UR - http://www.scopus.com/inward/record.url?scp=38049153108&partnerID=8YFLogxK
M3 - Conference contribution
SN - 9783540741299
VL - 4449 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 91
EP - 107
BT - Implementation and Application of Functional Languages - 18th International Symposium, IFL 2006, Revised Selected Papers
Y2 - 4 September 2007 through 6 September 2007
ER -