Markus Kaiser

Affiliations:
  • University of Koblenz-Landau, Software Languages Team, Germany


According to our database1, Markus Kaiser authored at least 2 papers between 2008 and 2009.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
An Isabelle/HOL-based model of stratego-like traversal strategies.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008
Programming Errors in Traversal Programs Over Structured Data.
Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, 2008


  Loading...