Michael Hanus. A generic analysis environment for declarative programs. In Sergio Antoy, Michael Hanus, editors, Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005. pages 43-48, ACM, 2005. [doi]
@inproceedings{Hanus05,
title = {A generic analysis environment for declarative programs},
author = {Michael Hanus},
year = {2005},
doi = {10.1145/1085099.1085108},
url = {http://doi.acm.org/10.1145/1085099.1085108},
tags = {program analysis, meta programming, generic programming, meta-model, analysis, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/Hanus05},
cites = {0},
citedby = {0},
pages = {43-48},
booktitle = {Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005},
editor = {Sergio Antoy and Michael Hanus},
publisher = {ACM},
isbn = {1-59593-069-8},
}