Search results for: Manuel Hermenegildo
Lecture Notes in Computer Science > Analysis and Visualization Tools for Constraint Programming > Part I. Correctness Debugging > 63-107
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 77-91
Lecture Notes in Computer Science > Compiler Construction > Analyses > 245-259
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Transformations > 80-97
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Program Development (LOPSTR) > 131-148
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Partial Evaluation and Program Transformation > 77-93
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Experimental Papers > 485-494
Lecture Notes in Computer Science > Static Analysis > 297-313
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Verification > 273-292
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making > Contributed Papers > 93-108
Lecture Notes in Computer Science > Static Analysis > Session 3 > 107-126
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 380-397
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Implementations and Applications > 1345-1361