DOI10.1007/s00165-016-0399-6zbMath1362.68034MaRDI QIDQ2628300
Michael Hanus, Sergio Antoy
Publication date: 1 June 2017 Published in: Formal Aspects of Computing (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s00165-016-0399-6
zbMATH Keywords
unification; program transformation; program analysis; functional logic programming
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
68N17: Logic programming
Uses Software