BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Cyprus
1 × Germany
1 × Korea
1 × Spain
1 × Sweden
1 × USA
2 × Hungary
Collaborated with:
K.Hammond G.Grov A.Ireland J.Sérot A.Cook N.Scaife S.Horiguchi R.F.Pointon A.Bonenfant Z.Chen A.M.Wallace I.Wallace
Talks about:
hume (5) system (4) resourc (2) program (2) process (2) level (2) time (2) fsm (2) transform (1) behaviour (1)

Person: Greg Michaelson

DBLP DBLP: Michaelson:Greg

Facilitated 2 volumes:

IFL 2004Ed
IFL 2003Ed

Contributed to:

CEFP 20112011
SAC 20082008
SAC 20072007
IFL 20062006
SAC 20042004
GPCE 20032003
IFL 20022002
ASE 20012001
IFL 20012001

Wrote 9 papers:

CEFP-2011-MichaelsonG #calculus #multi #reasoning
Reasoning about Multi-process Systems with the Box Calculus (GM, GG), pp. 279–338.
SAC-2008-GrovPMI #component #concurrent #coordination
Preserving coordination properties when transforming concurrent system components (GG, RFP, GM, AI), pp. 126–127.
SAC-2007-BonenfantCHMWW #cost analysis #towards
Towards resource-certified software: a formal cost model for time and its application to an image-processing example (AB, ZC, KH, GM, AMW, IW), pp. 1307–1314.
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.
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.
ASE-2001-CookIM #higher-order #proving #synthesis #theorem proving
Higher Order Function Synthesis Through Proof Planning (AC, AI, GM), pp. 307–310.
IFL-2001-ScaifeMH #comparative #compilation #performance #platform
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler (NS, GM, SH), pp. 138–154.

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.