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: Grov:Gudmund
Contributed to:
2011
2011
2008
20062005Wrote 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.