Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi 0001. Verifying Relational Properties of Functional Programs by First-Order Refinement. In Kenichi Asai, Kostis Sagonas, editors, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. pages 61-72, ACM, 2015. [doi]
Abstract is missing.