Functional Logic Program Transformations

Michael Hanus, Steven Libby

Many tools used to process programs, like compilers, analyzers, or verifiers, perform transformations on their intermediate program representation, like abstract syntax trees. Impl…