Skip to search boxSkip to navigationSkip to main content

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
 Peer-review

Open access

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 2-17

Publication milestones

  • Published - 2010

Publication status

Published - 2010

Publisher

Springer, United States, Germany

Book series

  • Book series name: Lecture Notes in Computer Science
    Volume: 6014

Publication IDs

  • Scopus: 77951286790

Host publication title

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

Host publication editors

  • C.-H. Luke Ong

Publication metrics

PlumX, opens in new tab

Citations
25
Captures
13

Access to documents