On Models for Static Analysis of Ada Tasking Programs

M. Tiusanen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationInternational Workshop on Concurrency, Specification and Programming, Berlin, Germany, 19.-21.11.1992
    Place of PublicationBerlin
    PublisherHumboldt-Universität zu Berlin
    Pages147-162
    Publication statusPublished - 1993
    MoE publication typeA4 Article in a conference publication

    Keywords

    • ada
    • ada tasking
    • constrained expressions
    • Petri nets
    • static analysis
    • task flow graphs
    • task interaction graphs

    Cite this