Nested Hoare Triples and Frame Rules for Higher-Order Store

Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftLogical Methods in Computer Science
    Vol/bind7
    Udgave nummer3:21
    Sider (fra-til)440-454
    ISSN1860-5974
    StatusUdgivet - 2011

    Citationsformater