Skip to search boxSkip to navigationSkip to main content

Nested Hoare Triples and Frame Rules for Higher-Order Store

  • Jan Schwinghammer
    ,
  • Lars Birkedal
    ,
  • Bernhard Reus
    ,
  • Hongseok Yang
Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Publication Information

Output type

Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 440-454

Journal (Volume, Issue Number)

Logical Methods in Computer Science (Volume 7, Issue 3:21)

Publication milestones

  • Published - 2011

Publication status

Published - 2011

ISSN

1860-5974

Publication IDs

  • Scopus: 80355131146

Publication metrics

PlumX

Captures
4
Citations
15