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
2 × Hungary
2 × USA
Collaborated with:
G.Michaelson A.Ireland E.Maclean R.F.Pointon K.Hammond
Talks about:
program (3) system (3) hume (3) correct (2) reason (2) level (2) transform (1) algorithm (1) properti (1) function (1)

Person: Gudmund Grov

DBLP DBLP: Grov:Gudmund

Contributed to:

ASE 20112011
CEFP 20112011
SAC 20082008
IFL 20062006
ASE 20052005

Wrote 5 papers:

ASE-2011-MacleanIG #animation #correctness #functional #pointer #source code
The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.
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.
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.

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.