Main menu
You are here
Publications
Export 1 results:
Filters: Keyword is semantic-based inference methods and Author is Giovanni Bacci [Clear All Filters]
, “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.