All Stories

  1. Observable interface behaviour and inheritance

    Article • Mathematical Structures in Computer Science, November 2014, Cambridge University Press

    Dr Martin Steffen

  2. A type system for finding upper resource bounds of multi-threaded programs with nested transactions

    Article • January 2012, ACM (Association for Computing Machinery)

    Dr Martin Steffen