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]
Abstract is missing.