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 proceeding › Conference Contribution (Conference Proceeding)

    61 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

    Access to Document

    Handle.net

    Cite this