Number of items: 9.
Krebbers, Robbert and Jung, Ralf and Bizjak, Ales and Jourdan, Jacques-Henri and Dreyer, Derek and Birkedal, Lars
(2017)
The Essence of Higher-Order Concurrent Separation Logic.
Jung, Ralf and Krebbers, Robbert and Birkedal, Lars and Dreyer, Derek
(2016)
Higher-order ghost state.
Birkedal, Lars and Dreyer, Derek and Gardner, Philippa and Shao, Zhong
(2015)
Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191).
Dagstuhl Reports, 5 (5).
pp. 1-23.
Jung, Ralf and Swasey, David and Sieczkowski, Filip and Svendsen, Kasper and Turon, Aaron and Birkedal, Lars and Dreyer, Derek
(2015)
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning.
Birkedal, Lars and Dreyer, Derek and Gardner, Philippa and Shao, Zhong
(2015)
Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191).
Dagstuhl Reports, 5 (5).
1–23.
Turon, Aaron and Thamsborg, Jacob and Ahmed, Amal and Birkedal, Lars and Dreyer, Derek
(2013)
Logical relations for fine-grained concurrency.
Turon, Aaron and Dreyer, Derek and Birkedal, Lars
(2013)
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency.
Dreyer, Derek and Neis, Georg and Birkedal, Lars
(2012)
The impact of higher-order state and control effects on local relational reasoning.
J. Funct. Program., 22 (4-5).
477–528.
Dreyer, Derek and Neis, Georg and Rossberg, Andreas and Birkedal, Lars
(2010)
A relational modal logic for higher-order stateful ADTs.
This list was generated on Wed Dec 11 10:31:21 2024 CET.