Concepedia

Rafael Caballero

RC

7

Publications

191

Citations

7

H-Index

2002

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Rafael Caballero is an author at Universidad Complutense de Madrid specializing in program analysis, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSoftware TestingSoftware EngineeringVerification

Publications per year

2002–2011

7

Publications

7

A declarative debugger of incorrect answers for constraint functional-logic programs

Rafael Caballero · 2005 · 46 citations

Program Checking, Engineering, Verification +20

Algorithmic Debugging of Java Programs

Rafael Caballero, Christian Hermanns, Herbert Kuchen · Electronic Notes in Theoretical Computer Science · 2007 · 33 citations · Full text

Engineering, Declarative Debugging, Software Engineering +16

A Declarative Debugging System for Lazy Functional Logic Programs

Rafael Caballero, Mario Rodríguez-Artalejo · Electronic Notes in Theoretical Computer Science · 2002 · 29 citations · Full text

Polymorphic Type Discipline, Engineering, Declarative Debugging System +16

DDT: a Declarative Debugging Tool for Functional-Logic Languages

Rafael Caballero, Mario Rodríguez-Artalejo · 2004 · 28 citations

Engineering, Program Analysis, Automated Reasoning +10

Declarative debugging of rewriting logic specifications

Adrián Riesco, Alberto Verdejo, Narciso Martı́-Oliet et al. · The Journal of Logic and Algebraic Programming · 2011 · 26 citations

Formal Specification, Engineering, Program Analysis +10

Rows per page

1–5 of 7