Markus Kaiser

Affiliations:

According to our database¹, Markus Kaiser authored at least 2 papers between 2009 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

Programming errors in traversal programs over structured data.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

2009

An Isabelle/HOL-based model of stratego-like traversal strategies.

[BibT_eX]

[DOI]

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009