Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
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.
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.
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.
Braßel, Bernd
Hanus, Michael
Fischer, Sebastian
Huch, Frank
and
Vidal, Germán
2007.
Lazy call-by-value evaluation.
p.
265.
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.
Marlow, Simon
Iborra, José
Pope, Bernard
and
Gill, Andy
2007.
A lightweight interactive debugger for haskell.
p.
13.
de la Encina, Alberto
Llana, Luis
and
Rubio, Fernando
2007.
Perspectives of Systems Informatics.
Vol. 4378,
Issue. ,
p.
195.
Caballero, Rafael
Rodríguez Artalejo, Mario
and
del Vado Vírseda, Rafael
2008.
Functional and Logic Programming.
Vol. 4989,
Issue. ,
p.
305.
Caballero, Rafael
Martí-Oliet, Narciso
Riesco, Adrián
and
Verdejo, Alberto
2008.
Concurrency, Graphs and Models.
Vol. 5065,
Issue. ,
p.
174.
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.
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.
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
García-Ruiz, Yolanda
and
Sáenz-Pérez, Fernando
2012.
Perspectives of Systems Informatics.
Vol. 7162,
Issue. ,
p.
77.
Caballero, Rafael
Riesco, Adrián
Verdejo, Alberto
and
Martí-Oliet, Narciso
2012.
Logic-Based Program Synthesis and Transformation.
Vol. 7225,
Issue. ,
p.
73.
Discussions
No Discussions have been published for this article.