Mark New, BSc (Wales), PhD (Swansea)

From 2007 to 2012, I was a PhD student within the Computer Science department at Swansea University. My supervisor was Professor Peter D Mosses.

Publications

The files made available on this website, and their content, may not be used commercially or distributed in any way, without permission.

• M. J. New. The Modular Specification of the Static Semantics of Programming Languages.
  PhD Thesis. Swansea University, 2012.
  Download PDF (coming soon) - Download tool support (requires the ASF+SDF Meta-Environment)
• P. D. Mosses and M. J. New. Implicit propagation in structural operational semantics.
  In Proc. SOS 2008. Volume 229, issue 4 of ENTCS, 2009.
  DOI: 10.1016/j.entcs.2009.07.073 | BibTeX
  Submitted version: Download PDF