Nested Hoare Triples and Frame Rules for Higher-order Store

Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    OriginalsprogEngelsk
    TitelComputer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
    Antal sider454
    ForlagSpringer
    Publikationsdato2009
    Sider440
    ISBN (Trykt)978-3-642-04026-9
    DOI
    StatusUdgivet - 2009
    BegivenhedComputer Science Logic - Masaryk University, Brno, Tjekkiet
    Varighed: 23 aug. 201027 aug. 2010
    Konferencens nummer: 19
    http://mfcsl2010.fi.muni.cz/csl

    Konference

    KonferenceComputer Science Logic
    Nummer19
    LokationMasaryk University
    Land/OmrådeTjekkiet
    ByBrno
    Periode23/08/201027/08/2010
    Internetadresse
    NavnLecture Notes in Computer Science
    Nummer5771

    Citationsformater