Skip to search boxSkip to navigationSkip to main content

High-level separation logic for low-level code

  • Jonas Buhrkal Jensen
    ,
  • Nick Benton
    ,
  • Andrew Kennedy
  • Microsoft Research
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Open access

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 301-313 (13 pages)

Publication milestones

  • Published - 01/2013

Publication status

Published - 01/2013

Place of publication

New York, NY, USA

Publisher

Association for Computing Machinery, United States

ISBN (Print)

978-1-4503-1832-7

Publication IDs

  • Scopus: 84874141408

Host publication title

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Publication metrics

PlumX, opens in new tab

Citations
39
Captures
14

Access to documents