Home page: pdmosses.github.io
Email: p.d.mosses@swansea.ac.uk
BA, MSc, DPhil (Oxford University)
Professor Emeritus, Computer Science, Swansea University, UK
Visitor, Programming Languages Group, Software Technology, Delft University of Technology, The Netherlands
The focus of my current research is further development of the component-based approach to semantics of programming languages, established by the PLanCompS project, together with tool support and major case studies.
My old personal home page at Swansea University1 has been ‘retired’… Never mind: all items of potential current interest had already been copied to this page, and most of the other items to the archives page.
ORCID • Google Scholar • Researchr • ResearchGate • DBLP • AMiner • Scopus • GitHub
Online Name-Based Navigation for Software Meta-languages:
in Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE ‘23)
Using Spoofax to Support Online Code Navigation:
in Eelco Visser Commemorative Symposium (EVCS 2023), open access, 2023
Eelco Visser Commemorative Symposium (EVCS 2023):
OASIcs 109, open access, 2023
(editor, with Ralf Lämmel and Friedrich Steimann)
Intrinsically-typed definitional interpreters à la carte: with Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, and Eelco Visser, Proc. ACM Program. Lang. 6(OOPSLA2): 1903-1932, open access, 2022
Hyperlinked twins: hyperlinked twin websites of language project repositories on GitHub
CBS: a framework for component-based specification of programming languages (beta-release)
Fundamental Constructs in Programming Languages: preprint, published in ISoLA 2021: 296-321
Software meta-language engineering and CBS: Journal of Computer Languages (2019)
Executable component-based semantics, with L. Thomas van Binsbergen and Neil Sculthorpe: JLAMP (2019), preprint
MSOS in Prolog (2003) on GitHub Pages: Prolog rules corresponding to the MSOS rules in my JLAP 2004 paper
Prolog MSOS Tool (2003) on GitHub Pages: Generation of Prolog interpreters from MSDF (a meta-language for specifying MSOS of programming languages), including lecture notes
SIS – Semantics Implementation System (1979): Reference Manual (PDF), Tested Examples (PDF), copied from the Semantics Library of Cliff B Jones
Festschrift: Semantics and Algebraic Specification, edited by Jens Palsberg, with contributions by many international colleagues and former students, published by Springer as LNCS 5700:
Forthcoming/recent meetings:
Broken link: cs.swansea.ac.uk/~cspdm/
↩