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

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 the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010
Editors	M. Hermenegildo, J. Palsberg
Publisher	Association for Computing Machinery
Publication date	2010
Pages	185-198
DOIs	https://doi.org/10.1145/1706299.1706323
Publication status	Published - 2010

Access to Document

10.1145/1706299.1706323

Cite this

Dreyer, D., Neis, G., Rossberg, A., & Birkedal, L. (2010). A relational modal logic for higher-order stateful ADTs. In M. Hermenegildo, & J. Palsberg (Eds.), Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 (pp. 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. in M Hermenegildo & J Palsberg (eds), 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, pp. 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. ed. / M. Hermenegildo; J. Palsberg. Association for Computing Machinery, 2010. p. 185-198.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › 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. In Hermenegildo M, Palsberg J, editors, 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. p. 185-198 doi: 10.1145/1706299.1706323