1. 2017
  2. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E. 10 Nov 2017 Proceedings of the ACM on Programming Languages, Vol. 2, No. POPL. Association for Computing Machinery (ACM)

    Research output: Scientific - peer-reviewConference contribution

  3. Interactive proofs in higher-order concurrent separation logic

    Krebbers, R., Timany, A. & Birkedal, L. 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. p. 205-217 13 p.

    Research output: Scientific - peer-reviewConference contribution

  4. 2016
  5. A Formal C Memory Model for Separation Logic

    Krebbers, R. 2016 In : Journal of Automated Reasoning. 57, 4, p. 319-387 69 p.

    Research output: Scientific - peer-reviewArticle

  6. Higher-order ghost state

    Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. p. 256-269 14 p.

    Research output: Scientific - peer-reviewConference contribution

  7. Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq

    Krebbers, R., Parlant, L. & Silva, A. 2016 Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. p. 309-324 16 p.

    Research output: Scientific - peer-reviewConference contribution

ID: 4511628