You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 3 results:

BibTex

Filters: Keyword is Functional-logic Programming and Author is Maria Alpuente [Clear All Filters]

2010

G. Bacci and Comini, M., “Abstract Diagnosis of First Order Functional Logic Programs”, Logic-Based Program Synthesis and Transformation – 20th International Symposium – Pre-Proceedings, vol. 10-14. Hagenberg, Austria, pp. 58–72, 2010.

M. Alpuente, Ballis, D., and Falaschi, M., “Transformation and Debugging of Functional Logic Programs”, in 25 Years GULP 2010, Springer, 2010, pp. 271–299.

2003

M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., “Correction of Functional Logic Programs”, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, vol. 2618. Springer, pp. 54–68, 2003.