Travelled to:
1 × France
Collaborated with:
J.G.Thomsen C.Clausen K.J.Andersen E.Ernst
Talks about:
lookup (1) invari (1) reduc (1) check (1)
Person: John Danaher
DBLP: Danaher:John
Contributed to:
Wrote 1 papers:
- ECOOP-2013-ThomsenCADE #invariant
- Reducing Lookups for Invariant Checking (JGT, CC, KJA, JD, EE), pp. 426–450.