7 papers:
IFL-2006-HammondGMI #low level #programming- Low-Level Programming in Hume: An Exploration of the HW-Hume Level (KH, GG, GM, AI), pp. 91–107.
ASE-2005-Grov #algorithm #approach #correctness #deduction #reasoning #source code #verification- Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning (GG), pp. 444–447.
CEFP-2005-Hammond #approach #behaviour #bound #functional #programming- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (KH), pp. 100–134.
SAC-2004-MichaelsonHS #automaton #bound #named #programming #using- FSM-Hume: programming resource-limited systems using bounded automata (GM, KH, JS), pp. 1455–1461.
GPCE-2003-HammondM #domain-specific language #embedded #named #realtime- Hume: A Domain-Specific Language for Real-Time Embedded Systems (KH, GM), pp. 37–56.
- IFL-2002-HammondM #behaviour #predict
- Predictable Space Behaviour in FSM-Hume (KH, GM), pp. 1–16.
- IFL-2000-Hammond #behaviour #bound #concurrent
- The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour (KH), pp. 122–139.
