Prof.dr. P.D. (Peter) Mosses
Prof.dr. P.D. (Peter) Mosses
Profiel
Biografie
Peter Mosses is
Professor Wmeritus at Swansea University. He is currently visiting the
Programming Languages Group at TU Delft (but not yet able to write in Dutch).
His research in semantics stretches back to Strachey’s Programming Research Group at Oxford in the early 1970s, where he contributed to the development of denotational semantics, and implemented SIS, a system for running programs based on their semantics. He was based at Aarhus University, Denmark, from 1976 to 2004.
Expertise
The main focus of his research has been on pragmatic aspects of formal specifications – especially modularity. This led to the development of action semantics, MSOS (a modular variant of structural operational semantics) and component-based semantics. He is a principal investigator in the PLanCompS project (Programming Language Components and Specifications). He was also the initial coordinator of CoFI, the Common Framework Initiative, which designed the algebraic specification language CASL.
Expertise
Publicaties
-
2023
Online Name-Based Navigation for Software Meta-languages
Peter D. Mosses
-
2023
Using Spoofax to Support Online Code Navigation
Peter D. Mosses
-
2022
Intrinsically-typed definitional interpreters à la carte
C.R. van der Rest / C.B. Poulsen / A.J. Rouvoet / Eelco Visser / P.D. Mosses
-
2021
Fundamental Constructs in Programming Languages
Peter D. Mosses
-
2019-12-23
A Component-Based Formal Language Workbench
Peter D. Mosses
-