Verifying event-driven programs using ramified frame properties

N. Krishnaswami, Lars Birkedal, J. Aldrich

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publication{Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010
    EditorsA. Kennedy, N. Benton
    PublisherAssociation for Computing Machinery
    Publication date2010
    Publication statusPublished - 2010

    Cite this