Skip to search boxSkip to navigationSkip to main content

Verifying event-driven programs using ramified frame properties

  • N. Krishnaswami
    ,
  • Lars Birkedal
    ,
  • J. Aldrich
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 63-76

Publication milestones

  • Published - 2010

Publication status

Published - 2010

Publisher

Association for Computing Machinery, United States

Publication IDs

  • Scopus: 77950847363

Host publication title

{Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010

Host publication editors

  • A. Kennedy
  • N. Benton

Publication metrics

PlumX, opens in new tab

Citations
22
Captures
17

Access to documents