You are here

Automatic Synthesis of Specifications for First Order Curry Programs

G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “Automatic Synthesis of Specifications for First Order Curry Programs”, Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, New York, NY, USA, pp. 25–34, 2012.