Search results for: Manuel V. Hermenegildo
Microprocessors and Microsystems > 2016 > 47 > PB > 278-286
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Software Development and Program Analysis > 163-178
Lecture Notes in Computer Science > Analysis and Visualization Tools for Constraint Programming > Debugging of Constraint Programs: The DiSCiPl Methodology and Tools > 1-20
Lecture Notes in Computer Science > Abstraction, Reformulation, and Approximation > Full Papers > 107-123
Lecture Notes in Computer Science > Rule-Based Reasoning, Programming, and Applications > Keynote Speakers (Abstracts) > 2-2
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Constraint Solving and Analysis > 138-153
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 24-38
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Constraint Solving and Analysis > 154-168
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Constraint and Logic Programming > 209-237
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 172-187
Lecture Notes in Computer Science > Static Analysis > Invited Paper > 127-152
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Tabling and Optimization > 224-238