BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kaiser:Markus

Contributed to:

SCP, 20132013
PPDP 20092009
LDTA 20082009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.