Travelled to:1 × Portugal
Collaborated with:R.Lämmel S.J.Thompson
Talks about:program (4) travers (3) structur (2) error (2) data (2) stratego (1) strategi (1) isabell (1) model (1) like (1)
Person: Markus Kaiser
DBLP: Kaiser:Markus
Contributed to:
2013
20092009Wrote 3 papers:
- LDTA-J-2009-LammelTK #fault #programming #source code #traversal
- Programming errors in traversal programs over structured data (RL, SJT, MK), pp. 1770–1808.
- PPDP-2009-KaiserL #higher-order #traversal
- An Isabelle/HOL-based model of stratego-like traversal strategies (MK, RL), pp. 93–104.
- LDTA-2008-LammelTK09 #fault #programming #source code #traversal
- Programming Errors in Traversal Programs Over Structured Data (RL, SJT, MK), pp. 135–153.