Search results for: Giorgio Levi
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Abstract Interpretation > 132-145
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Types and Verification > 225-239
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 455-470
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 57-72
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 440-450
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Analysis of Logic Programs > 595-609
Lecture Notes in Computer Science > TAPSOFT '91 > 320-337