Travelled to:1 × Italy
1 × Japan
1 × Sweden
1 × USA
Collaborated with:O.Danvy H.K.Rohde ∅ D.Biernacki J.Midtgaard
Talks about:evalu (3) abstract (2) partial (2) string (2) machin (2) correspond (1) function (1) pattern (1) matcher (1) between (1)
Person: Mads Sig Ager
DBLP: Ager:Mads_Sig
Contributed to:
2004
2003
20032002Wrote 4 papers:
- LOPSTR-2004-Ager #automaton #semantics
- From Natural Semantics to Abstract Machines (MSA), pp. 245–261.
- PEPM-2003-AgerDR #partial evaluation #pattern matching #performance #string
- Fast partial evaluation of pattern matching in strings (MSA, OD, HKR), pp. 3–9.
- PPDP-2003-AgerBDM #automaton #functional
- A functional correspondence between evaluators and abstract machines (MSA, DB, OD, JM), pp. 8–19.
- ASIA-PEPM-2002-AgerDR #on the #partial evaluation #string
- On obtaining Knuth, Morris, and Pratt’s string matcher by partial evaluation (MSA, OD, HKR), pp. 32–46.