You are here


Export 6 results:
Filters: Keyword is Functional-logic Programming  [Clear All Filters]
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.
G. Bacci and Comini, M., A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behaviour of First Order Curry. Dipartimento di Matematica e Informatica, Università di Udine, 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.
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.
D. Ballis, Falaschi, M., Ferri, C., Hernández-Orallo, J., and Ramirez-Quintana, J. M., Cost-Sensitive Diagnosis of Declarative Programs, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, p. 3, 2003.