Verifying event-driven programs using ramified frame properties

N. Krishnaswami; Lars Birkedal; J.  Aldrich

doi:http://doi.acm.org/10.1145/1708016.1708025

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 › Research › peer-review

Original language	English
Title of host publication	{Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010
Editors	A. Kennedy, N. Benton
Publisher	Association for Computing Machinery
Publication date	2010
Pages	63-76
DOIs	https://doi.org/http://doi.acm.org/10.1145/1708016.1708025
Publication status	Published - 2010

Access to Document

http://doi.acm.org/10.1145/1708016.1708025

Cite this

Krishnaswami, N., Birkedal, L., & Aldrich, J. (2010). Verifying event-driven programs using ramified frame properties. In A. Kennedy, & N. Benton (Eds.), {Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010 (pp. 63-76). Association for Computing Machinery. https://doi.org/http://doi.acm.org/10.1145/1708016.1708025

Krishnaswami, N. ; Birkedal, Lars ; Aldrich, J. . / Verifying event-driven programs using ramified frame properties. {Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010. editor / A. Kennedy ; N. Benton. Association for Computing Machinery, 2010. pp. 63-76

@inproceedings{c34b48878b4f46a2aeaef9b2e2e695e0,

title = "Verifying event-driven programs using ramified frame properties",

author = "N. Krishnaswami and Lars Birkedal and J. Aldrich",

year = "2010",

doi = "http://doi.acm.org/10.1145/1708016.1708025",

language = "English",

pages = "63--76",

editor = "A. Kennedy and N. Benton",

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

publisher = "Association for Computing Machinery",

address = "United States",

}

Krishnaswami, N, Birkedal, L & Aldrich, J 2010, Verifying event-driven programs using ramified frame properties. in A Kennedy & N Benton (eds), {Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010. Association for Computing Machinery, pp. 63-76. https://doi.org/http://doi.acm.org/10.1145/1708016.1708025

Verifying event-driven programs using ramified frame properties. / Krishnaswami, N.; Birkedal, Lars; Aldrich, J. .

{Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010. ed. / A. Kennedy; N. Benton. Association for Computing Machinery, 2010. p. 63-76.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Verifying event-driven programs using ramified frame properties

AU - Krishnaswami, N.

AU - Birkedal, Lars

AU - Aldrich, J.

PY - 2010

Y1 - 2010

U2 - http://doi.acm.org/10.1145/1708016.1708025

DO - http://doi.acm.org/10.1145/1708016.1708025

M3 - Article in proceedings

SP - 63

EP - 76

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

A2 - Kennedy, A.

A2 - Benton, N.

PB - Association for Computing Machinery

ER -

Krishnaswami N, Birkedal L, Aldrich J. Verifying event-driven programs using ramified frame properties. In Kennedy A, Benton N, editors, {Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010. Association for Computing Machinery. 2010. p. 63-76 doi: http://doi.acm.org/10.1145/1708016.1708025