Francisco J. Correa

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. 411 (47) (2010)
María Alpuente, Francisco J. Correa
Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma. Rev. Colomb. de Computación 5 (2) (2004)
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
Correction of Functional Logic Programs. ESOP (2003)
María Alpuente, Francisco J. Correa, Moreno Falaschi
A Debugging Scheme for Functional Logic Programs. Electron. Notes Theor. Comput. Sci. 64 (2002)
María Alpuente, Francisco J. Correa, Moreno Falaschi
Declarative Debugging of Functional Logic Programs. Electron. Notes Theor. Comput. Sci. 57 (2001)