You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 4 results:

BibTex

Filters: Keyword is Curry [Clear All Filters]

2011

G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “Automatic Synthesis of Specifications for Curry Programs”, Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.

2012

G. Bacci, “An Abstract Interpretation Framework for Semantics and Diagnosis of Lazy Functional-Logic Languages”, Università di Udine, 2012.

G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages”, Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), vol. 17. Budapest, Hungary, pp. 144-153, 2012.

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.