( en | de | ru )

 

Disambiguation of "Svendsen, Kasper"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional Non-interference for Concurrent Programs via Separation and Framing.

, , , and . POST, volume 10804 of Lecture Notes in Computer Science, page 53-78. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marion Svendsen

Bob Svendsen

Gert Tinggard Svendsen

Christian Kasper

Untersuchung zur Seitenwandkonturierung für Gasturbinen an einem Ringgitter-Wasserkanal. Uni Stuttgart, (2009)

Stefan Nordgaard Svendsen

 

Other publications of authors with the same name

Modular Reasoning about Separation of Concurrent Data Structures., , and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 169-188. Springer, (2013)A relational model of types-and-effects in higher-order concurrent separation logic., , and . POPL, page 218-231. ACM, (2017)A Separation Logic for Fictional Sequential Consistency., , , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 736-761. Springer, (2015)Impredicative Concurrent Abstract Predicates., and . ESOP, volume 8410 of Lecture Notes in Computer Science, page 149-168. Springer, (2014)Partiality, State and Dependent Types., , and . TLCA, volume 6690 of Lecture Notes in Computer Science, page 198-212. Springer, (2011)Theorems for free from separation logic specifications., , , , , and . Proc. ACM Program. Lang., 5 (ICFP): 1-29 (2021)Verifying Generics and Delegates., , and . ECOOP, volume 6183 of Lecture Notes in Computer Science, page 175-199. Springer, (2010)Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library., , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 327-351. Springer, (2013)Transfinite Step-Indexing: Decoupling Concrete and Logical Steps., , and . ESOP, volume 9632 of Lecture Notes in Computer Science, page 727-751. Springer, (2016)Design patterns in separation logic., , , , and . TLDI, page 105-116. ACM, (2009)