You are here


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