Analysis of Imperative Programs through Analysis of Constraint Logic Programs

Julio C Peralta, John P Gallagher, Huseyin Saglam

Research output: Working paperWorking paper and Preprints

Translated title of the contributionAnalysis of Imperative Programs through Analysis of Constraint Logic Programs
Original languageEnglish
PublisherUniversity of Bristol
Number of pages15
Publication statusPublished - 1998

Bibliographical note

Other: CSTR-98-007

Cite this