Search results for: Roberto Giacobazzi
Formal Aspects of Computing > 2018 > 30 > 6 > 685-711
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Papers > 81-95
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 175-189
Lecture Notes in Computer Science > Static Analysis > 461-476
Formal Aspects of Computing > 2017 > 29 > 1 > 3-31
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 4-Track B. Semantics > 211-222
Lecture Notes in Computer Science > A 25-Year Perspective on Logic Programming > Twenty-Five Years of Logic Programming in Italy > 136-158
Lecture Notes in Computer Science > Static Analysis > 218-235
Lecture Notes in Computer Science > ESOP '92 > 167-181
Lecture Notes in Computer Science > Static Analysis > Abstract Domains > 215-229
Lecture Notes in Computer Science > STACS 96 > 503-514
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Semantics and Modelling > 289-303
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 57-72