A relational modal logic for higher-order stateful ADTs

D.  Dreyer; G.  Neis; A.  Rossberg; Lars Birkedal

doi:10.1145/1706299.1706323

A relational modal logic for higher-order stateful ADTs

D. Dreyer, G. Neis, A. Rossberg, Lars Birkedal

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

Originalsprog	Engelsk
Titel	Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010
Redaktører	M. Hermenegildo, J. Palsberg
Forlag	Association for Computing Machinery
Publikationsdato	2010
Sider	185-198
DOI	https://doi.org/10.1145/1706299.1706323
Status	Udgivet - 2010

Adgang til dokumentet

10.1145/1706299.1706323

Citationsformater

Dreyer, D., Neis, G., Rossberg, A., & Birkedal, L. (2010). A relational modal logic for higher-order stateful ADTs. I M. Hermenegildo, & J. Palsberg (red.), Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 (s. 185-198). Association for Computing Machinery. https://doi.org/10.1145/1706299.1706323

@inproceedings{4c0d78965edf44c2a7f77bd2dcc0902f,

title = "A relational modal logic for higher-order stateful ADTs",

author = "D. Dreyer and G. Neis and A. Rossberg and Lars Birkedal",

year = "2010",

doi = "10.1145/1706299.1706323",

language = "English",

pages = "185--198",

editor = "M. Hermenegildo and J. Palsberg",

booktitle = "Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010",

publisher = "Association for Computing Machinery",

address = "United States",

}

Dreyer, D, Neis, G, Rossberg, A & Birkedal, L 2010, A relational modal logic for higher-order stateful ADTs. i M Hermenegildo & J Palsberg (red), Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010. Association for Computing Machinery, s. 185-198. https://doi.org/10.1145/1706299.1706323

A relational modal logic for higher-order stateful ADTs. / Dreyer, D. ; Neis, G. ; Rossberg, A. et al.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010. red. / M. Hermenegildo; J. Palsberg. Association for Computing Machinery, 2010. s. 185-198.

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

TY - GEN

T1 - A relational modal logic for higher-order stateful ADTs

AU - Dreyer, D.

AU - Neis, G.

AU - Rossberg, A.

AU - Birkedal, Lars

PY - 2010

Y1 - 2010

U2 - 10.1145/1706299.1706323

DO - 10.1145/1706299.1706323

M3 - Article in proceedings

SP - 185

EP - 198

BT - Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010

A2 - Hermenegildo, M.

A2 - Palsberg, J.

PB - Association for Computing Machinery

ER -

Dreyer D, Neis G, Rossberg A, Birkedal L. A relational modal logic for higher-order stateful ADTs. I Hermenegildo M, Palsberg J, red., Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010. Association for Computing Machinery. 2010. s. 185-198 doi: 10.1145/1706299.1706323