Static Analysis of CLP Programs over Numeric Domains

TitleStatic Analysis of {CLP} Programs over Numeric Domains
Publication TypeConference Paper
Year of Publication1992
AuthorsBagnara R, Giacobazzi R, Levi G
EditorBillaud M, Castéran P, Corsini M-M, Musumbu K, Rauzy A
Conference NameActes ``Workshop on Static Analysis '92''
PublisherAtelier Irisa, IRISA Campus de Beaulieu
Conference LocationBordeaux
Keywordsabstract interpretation, constraint logic programming, constraint propagation, constraint systems, numerical properties, software verification, static analysis
Refereed DesignationRefereed