Analysis of Imperative Programs through Analysis of Constraint Logic Programs

J C Peralta, J P Gallagher, H Saglam

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

47 Citations (Scopus)
Translated title of the contributionAnalysis of Imperative Programs through Analysis of Constraint Logic Programs
Original languageEnglish
Title of host publicationUnknown
PublisherSpringer Berlin Heidelberg
Pages246 - 261
Number of pages15
Volume1503
ISBN (Print)3540650148
Publication statusPublished - 1998

Bibliographical note

Conference Proceedings/Title of Journal: Static Analysis. 5th International Symposium, SAS'98, Pisa, Italy, September 1998
Other: Lecture Notes in Computer Science

Cite this