Search results for: Patricia M. Hill
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Analysis of Logic Programs > 579-594
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 63-77
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Static Analysis > 154-166
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Analysis and Specialisation > 82-101
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods II > 135-148
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 380-395
Lecture Notes in Computer Science > Static Analysis > 213-229
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP98 > Posters > 468-468
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 8-21
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Logic programming and CLP > 189-206