Publications

Journal Articles

  1. Mosses, P. Software meta-language engineering and CBS. Journal of Computer Languages, 50, 39-48.
  2. van Binsbergen, L., Mosses, P., & Sculthorpe, N. Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, 184-212.
  3. Bach Poulsen, C. & Mosses, P. Flag-based big-step semantics. Journal of Logical and Algebraic Methods in Programming, 88, 174-190.
  4. Mosses, P. Semantics of programming languages: Using Asf+Sdf. Science of Computer Programming
  5. Johnstone, A., Mosses, P., & Scott, E. An agile approach to language modelling and development. Innovations in Systems and Software Engineering, 6(1-2), 145-153.
  6. Mosses, P. VDM semantics of programming languages: combinators and monads. Formal Aspects of Computing, 23(2), 221-238.

Book Chapters

  1. Mosses, P. & Vesely, F. Weak Bisimulation as a Congruence in MSOS. Logic, Rewriting, and Concurrency (pp. 519-538).
  2. Mosses, P. & Vesely, F. FunKons: Component-Based Semantics in K. Rewriting Logic and Its Applications (pp. 213-229). WRLA 2014: Rewriting Logic and Its Applications
  3. Mosses, P. Programming language description languages: From Christopher Strachey to semantics online. (pp. 249-273). Springer
  4. Churchill, M., Mosses, P., Sculthorpe, N., & Torrini, P. Reusable Components of Semantic Specifications. Transactions on Aspect-Oriented Software Development XII (pp. 132-179). Springer

Conference Contributions

  1. Sculthorpe, N., Torrini, P., & Mosses, P. A modular structural operational semantics for delimited continuations. In WoC 2015: Proceedings of the Workshop on Continuations (pp. 63-80). 2015 Workshop on Continuations.
    https://arxiv.org/html/1606.05839
  2. Binsbergen, L., Sculthorpe, N., & Mosses, P. Tool support for component-based semantics. In MODULARITY Companion 2016 Companion Proceedings of the 15th International Conference on Modularity (pp. 8-11). ACM.
  3. Bach Poulsen, C., Mosses, P., & Torrini, P. Imperative Polymorphism by Store-Based Types as Abstract Interpretations. (pp. 3-8).
  4. Bach Poulsen, C. & Mosses, P. Generating specialized interpreters for modular structural operational semantics. In Logic-Based Program Synthesis and Transformation (pp. 220-236).
  5. Churchill, M., Mosses, P., & Torrini, P. Reusable components of semantic specifications. In Modularity '14 (pp. 145-156). ACM.
  6. Bach Poulsen, C. & Mosses, P. Deriving pretty-big-step semantics from small-step semantics. In Programming Languages and Systems (pp. 270-289). Springer.
  7. Churchill, M., Mosses, P., & Mousavi, M. Modular semantics for transition system specifications with negative premises. In CONCUR 2013 – Concurrency Theory (pp. 46-60). Springer.
  8. Churchill, M. & Mosses, P. Modular bisimulation theory for computations and values. In FOSSACS: Foundations of Software Science and Computation Structures (pp. 97-112). Springer.
    http://link.springer.com/chapter/10.1007%2F978-3-642-37075-5_7
  9. Mosses, P., Mousavi, M., & Reniers, M. Robustness of equations under operational extensions. In Electronic Proceedings in Theoretical Computer Science (pp. 106-120).
  10. Mosses, P. Component-based semantics. (pp. 3-10). ACM.
  11. Mosses, P. & New, M. Implicit propagation in structural operational semantics. In Electronic Notes in Theoretical Computer Science (pp. 49-66). Elsevier.
  12. Mosses, P. Component-based description of programming languages. (pp. 275-286). BCS.
    http://www.bcs.org/content/ConWebDoc/22912

Other Research Outputs

  1. Mosses, P. & Glabbeek, R. Information and Computation2072
  2. Glabbeek, R. & Mosses, P. Information and Computation2072