Verifying event-driven programs using ramified frame properties

N. Krishnaswami; Lars Birkedal; J.  Aldrich

doi:10.1145/1708016.1708025

Verifying event-driven programs using ramified frame properties

N. Krishnaswami, Lars Birkedal, J. Aldrich

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	{Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010
Redaktører	A. Kennedy, N. Benton
Forlag	Association for Computing Machinery
Publikationsdato	2010
Sider	63-76
DOI	https://doi.org/10.1145/1708016.1708025
Status	Udgivet - 2010

Adgang til dokumentet

10.1145/1708016.1708025

Citationsformater

Krishnaswami, N., Birkedal, L., & Aldrich, J. (2010). Verifying event-driven programs using ramified frame properties. I A. Kennedy, & N. Benton (red.), {Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010 (s. 63-76). Association for Computing Machinery. https://doi.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. red. / A. Kennedy ; N. Benton. Association for Computing Machinery, 2010. s. 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 = "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. i A Kennedy & N Benton (red), {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, s. 63-76. https://doi.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. red. / A. Kennedy; N. Benton. Association for Computing Machinery, 2010. s. 63-76.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 - 10.1145/1708016.1708025

DO - 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. I Kennedy A, Benton N, red., {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. s. 63-76 doi: 10.1145/1708016.1708025