Static Analysis of CLP Programs over Numeric Domains

Roberto Bagnara
Dipartimento di Informatica
Università di Pisa
Corso Italia 40
I-56125 Pisa
Italy

Roberto Giacobazzi
Dipartimento di Informatica
Università di Pisa
Corso Italia 40
I-56125 Pisa
Italy

Giorgio Levi
Dipartimento di Informatica
Università di Pisa
Corso Italia 40
I-56125 Pisa
Italy

Extended Abstract

[Page last updated on December 10, 1999, 11:30:49.]