Search results for: Manuel Hermenegildo
Lecture Notes in Computer Science > Analysis and Visualization Tools for Constraint Programming > Part II. Performance Debugging > 253-272
Lecture Notes in Computer Science > Languages and Compilers for Parallel Computing > Session 7: Memory Management > 345-363
Lecture Notes in Computer Science > Analysis and Visualization Tools for Constraint Programming > Part II. Performance Debugging > 237-252
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP98 > Posters > 472-472
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Specialisation > 86-102
Lecture Notes in Computer Science > Analysis and Visualization Tools for Constraint Programming > Part I. Correctness Debugging > 23-61
Lecture Notes in Computer Science > Logic Programming > 407-409
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Profiling and Implementation > 38-53
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Transformations > 149-165