Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Alpuente, M.
Ballis, D.
Escobar, S.
Falaschi, M.
and
Lucas, S.
2003.
Abstract Correction of First-Order Functional Programs.
Electronic Notes in Theoretical Computer Science,
Vol. 86,
Issue. 3,
p.
105.
Pope, Bernard
and
Naish, Lee
2003.
Practical aspects of declarative debugging in Haskell 98.
p.
230.
Ennals, Robert
and
Jones, Simon Peyton
2003.
HsDebug.
p.
84.
Caballero, Rafael
and
Rodríguez-Artalejo, Mario
2004.
Functional and Logic Programming.
Vol. 2998,
Issue. ,
p.
70.
Pope, Bernard
2005.
Advanced Functional Programming.
Vol. 3622,
Issue. ,
p.
273.
Caballero, Rafael
2005.
A declarative debugger of incorrect answers for constraint functional-logic programs.
p.
8.
de la Encina, Alberto
Llana, Luis
and
Rubio, Fernando
2005.
Theoretical Aspects of Computing – ICTAC 2005.
Vol. 3722,
Issue. ,
p.
211.
Marlow, Simon
Iborra, José
Pope, Bernard
and
Gill, Andy
2007.
A lightweight interactive debugger for haskell.
p.
13.
Caballero, R.
Hermanns, C.
and
Kuchen, H.
2007.
Algorithmic Debugging of Java Programs.
Electronic Notes in Theoretical Computer Science,
Vol. 177,
Issue. ,
p.
75.
Braßel, Bernd
Hanus, Michael
Fischer, Sebastian
Huch, Frank
and
Vidal, Germán
2007.
Lazy call-by-value evaluation.
ACM SIGPLAN Notices,
Vol. 42,
Issue. 9,
p.
265.
de la Encina, Alberto
Llana, Luis
and
Rubio, Fernando
2007.
Perspectives of Systems Informatics.
Vol. 4378,
Issue. ,
p.
195.
Braßel, Bernd
Hanus, Michael
Fischer, Sebastian
Huch, Frank
and
Vidal, Germán
2007.
Lazy call-by-value evaluation.
p.
265.
Caballero, Rafael
Martí-Oliet, Narciso
Riesco, Adrián
and
Verdejo, Alberto
2008.
Concurrency, Graphs and Models.
Vol. 5065,
Issue. ,
p.
174.
Caballero, Rafael
Rodríguez Artalejo, Mario
and
del Vado Vírseda, Rafael
2008.
Functional and Logic Programming.
Vol. 4989,
Issue. ,
p.
305.
del Vado Vírseda, Rafael
2009.
A Logical Framework for Debugging in Declarative Constraint Programming.
Electronic Notes in Theoretical Computer Science,
Vol. 256,
Issue. ,
p.
119.
Caballero, R.
Martí-Oliet, N.
Riesco, A.
and
Verdejo, A.
2009.
A Declarative Debugger for Maude Functional Modules.
Electronic Notes in Theoretical Computer Science,
Vol. 238,
Issue. 3,
p.
63.
Riesco, Adrian
Verdejo, Alberto
Caballero, Rafael
and
Martí-Oliet, Narciso
2009.
Recent Trends in Algebraic Development Techniques.
Vol. 5486,
Issue. ,
p.
308.
Riesco, Adrian
Verdejo, Alberto
and
Martí-Oliet, Narciso
2010.
Rewriting Logic and Its Applications.
Vol. 6381,
Issue. ,
p.
226.
Caballero, Rafael
Riesco, Adrián
Verdejo, Alberto
and
Martí-Oliet, Narciso
2012.
Logic-Based Program Synthesis and Transformation.
Vol. 7225,
Issue. ,
p.
73.
Riesco, Adrián
Verdejo, Alberto
Martí-Oliet, Narciso
and
Caballero, Rafael
2012.
Declarative debugging of rewriting logic specifications.
The Journal of Logic and Algebraic Programming,
Vol. 81,
Issue. 7-8,
p.
851.
Discussions
No Discussions have been published for this article.