Travelled to:1 × Austria
1 × France
Collaborated with:C.Brabrand C.Clausen K.J.Andersen J.Danaher E.Ernst
Talks about:unambigu (1) regular (1) pattern (1) express (1) string (1) lookup (1) invari (1) reduc (1) match (1) check (1)
Person: Jakob G. Thomsen
DBLP: Thomsen:Jakob_G=
Contributed to:
2013
2010Wrote 2 papers:
- ECOOP-2013-ThomsenCADE #invariant
- Reducing Lookups for Invariant Checking (JGT, CC, KJA, JD, EE), pp. 426–450.
- PPDP-2010-BrabrandT #ambiguity #pattern matching #regular expression #string #using
- Typed and unambiguous pattern matching on strings using regular expressions (CB, JGT), pp. 243–254.