Skip to search boxSkip to navigationSkip to main content

Design Patterns in Separation Logic

  • Neelakantan R. Krishnaswami
    ,
  • Jonathan Aldrich
    ,
  • Lars Birkedal
    ,
  • Kasper Svendsen
    ,
  • Alexandre Buisse
  • Carnegie Mellon University
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

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 105-116 (11 pages)

Publication milestones

  • Published - 2009

Publication status

Published - 2009

Publisher

Association for Computing Machinery, United States

ISBN (Print)

ISBN 978-1-60558-420-1

Publication IDs

  • Scopus: 67650035159

Host publication title

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.

Host publication editors

  • Andrew Kennedy
  • Amal Ahmed

Publication metrics

PlumX

Citation count
25
Captures
18

Related Event

Title

2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation

Event type

Conference

Date

24/01/2009 - 24/01/2009

Location

SavannahUnited States