You are here

Publications

Export 1 results:
Filters: Keyword is semantic-based inference methods  [Clear All Filters]
Conference Proceedings
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.