Markus Kaiser, Ralf Lämmel. An Isabelle/HOL-based model of stratego-like traversal strategies. In Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, Pages 93-104, 2009.
@InProceedings{KaiserL09,
Author = {Kaiser, Markus and Lämmel, Ralf},
Title = {{An Isabelle/HOL-based model of stratego-like traversal strategies}},
BookTitle = {{Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal}},
Pages = {93--104},
Publisher = {ACM},
Year = {2009}
}
Get EndNote Reference (.ref)