Francisco J. Correa

According to our database, Francisco J. Correa authored at least 5 papers between 2001 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

An integrated framework for the diagnosis and correction of rule-based programs.

María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi

Theor. Comput. Sci., 2010

2004

Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma.

María Alpuente, Francisco J. Correa

Rev. Colomb. de Computación, 2004

2003

Correction of Functional Logic Programs.

María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi

Proceedings of the Programming Languages and Systems, 2003

2001

Declarative Debugging of Functional Logic Programs.

María Alpuente, Francisco J. Correa, Moreno Falaschi

Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001

A Debugging Scheme for Functional Logic Programs.

María Alpuente, Francisco J. Correa, Moreno Falaschi

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001