BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (4)
bound (3)
behaviour (3)
space (2)
languag (2)

Stem hume$ (all stems)

7 papers:

IFLIFL-2006-HammondGMI #low level #programming
Low-Level Programming in Hume: An Exploration of the HW-Hume Level (KH, GG, GM, AI), pp. 91–107.
ASEASE-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.
CEFPCEFP-2005-Hammond #approach #behaviour #bound #functional #programming
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (KH), pp. 100–134.
SACSAC-2004-MichaelsonHS #automaton #bound #named #programming #using
FSM-Hume: programming resource-limited systems using bounded automata (GM, KH, JS), pp. 1455–1461.
GPCEGPCE-2003-HammondM #domain-specific language #embedded #named #realtime
Hume: A Domain-Specific Language for Real-Time Embedded Systems (KH, GM), pp. 37–56.
IFLIFL-2002-HammondM #behaviour #predict
Predictable Space Behaviour in FSM-Hume (KH, GM), pp. 1–16.
IFLIFL-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.