Centre for Programming Languages and Systems

Research output

Research output per year 2013 2015 2016 2017 2018 2019 2020 2021 2024

• 69 Conference contribution
• 32 Article
• 8 Conference article
• 3 Chapter
• 7 More
  • 3 Paper
  • 2 Abstract
  • 1 Internet publication
  • 1 Software

Research output per year

Research output per year

Search results

• Abstract

  Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic

  Rowe, R., 7 Aug 2016, (Unpublished).

  Research output: Contribution to conference › Abstract › peer-review

  File
  47 Downloads (Pure)

• ROTOR: First Steps Towards a Refactoring Tool for OCaml

  Rowe, R. & Thompson, S., 8 Sept 2017, (Unpublished) p. 1-3. 3 p.

  Research output: Contribution to conference › Abstract

  File
  42 Downloads (Pure)