A Semantic Foundation for Hidden State

J.  Schwinghammer; H.  Yang; Lars Birkedal; F. Pottier; B. Reus

doi:10.1007/978-3-642-12032-9_2

A Semantic Foundation for Hidden State

J. Schwinghammer, H. Yang, Lars Birkedal, F. Pottier, B. Reus

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

Original language	English
Title of host publication	Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Editors	C.-H. Luke Ong
Publisher	Springer
Publication date	2010
Pages	2-17
DOIs	https://doi.org/10.1007/978-3-642-12032-9_2
Publication status	Published - 2010

Series	Lecture Notes in Computer Science
Volume	6014

Access to Document

10.1007/978-3-642-12032-9_2

Cite this

Schwinghammer, J., Yang, H., Birkedal, L., Pottier, F., & Reus, B. (2010). A Semantic Foundation for Hidden State. In C.-H. L. Ong (Ed.), Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (pp. 2-17). Springer. https://doi.org/10.1007/978-3-642-12032-9_2

Schwinghammer, J. ; Yang, H. ; Birkedal, Lars et al. / A Semantic Foundation for Hidden State. Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. editor / C.-H. Luke Ong. Springer, 2010. pp. 2-17 (Lecture Notes in Computer Science, Vol. 6014).

@inproceedings{615f215dad534cb3984dc465036482a8,

title = "A Semantic Foundation for Hidden State",

author = "J. Schwinghammer and H. Yang and Lars Birkedal and F. Pottier and B. Reus",

year = "2010",

doi = "10.1007/978-3-642-12032-9_2",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "2--17",

editor = "Ong, {C.-H. Luke}",

booktitle = "Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings",

address = "Germany",

}

Schwinghammer, J, Yang, H, Birkedal, L, Pottier, F & Reus, B 2010, A Semantic Foundation for Hidden State. in C-HL Ong (ed.), Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer, Lecture Notes in Computer Science, vol. 6014, pp. 2-17. https://doi.org/10.1007/978-3-642-12032-9_2

A Semantic Foundation for Hidden State. / Schwinghammer, J. ; Yang, H. ; Birkedal, Lars et al.
Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. ed. / C.-H. Luke Ong. Springer, 2010. p. 2-17 (Lecture Notes in Computer Science, Vol. 6014).

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

TY - GEN

T1 - A Semantic Foundation for Hidden State

AU - Schwinghammer, J.

AU - Yang, H.

AU - Birkedal, Lars

AU - Pottier, F.

AU - Reus, B.

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-12032-9_2

DO - 10.1007/978-3-642-12032-9_2

M3 - Article in proceedings

T3 - Lecture Notes in Computer Science

SP - 2

EP - 17

BT - Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

A2 - Ong, C.-H. Luke

PB - Springer

ER -

Schwinghammer J, Yang H, Birkedal L, Pottier F, Reus B. A Semantic Foundation for Hidden State. In Ong CHL, editor, Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer. 2010. p. 2-17. (Lecture Notes in Computer Science, Vol. 6014). doi: 10.1007/978-3-642-12032-9_2