Travelled to:
1 × Canada
1 × Ireland
1 × USA
Collaborated with:
M.Fluet J.Avigad J.J.Hallett A.J.Kfoury
Talks about:
formal (2) transact (1) isabell (1) semant (1) refer (1) notat (1) event (1) weak (1) hol (1)
Person: Kevin Donnelly
DBLP: Donnelly:Kevin
Contributed to:
Wrote 3 papers:
- ICFP-2006-DonnellyF #transaction
- Transactional events (KD, MF), pp. 124–135.
- ISMM-2006-DonnellyHK #semantics
- Formal semantics of weak references (KD, JJH, AJK), pp. 126–137.
- IJCAR-2004-AvigadD #formal method #higher-order
- Formalizing O Notation in Isabelle/HOL (JA, KD), pp. 357–371.