6 citations · 15 across the 6 of their papers we have counts for
8 papers
Mechanising Denotational Semantics in Agda
Peter D. Mosses, Jesper Cockx, Bernhard Reus
Mechanisation of a mathematical definition (also referred to as formalisation) has many benefits. Here, we focus on mechanising denotational semantic definitions of programming lan…
Online Name-Based Navigation for Software Meta-languages
Peter D. Mosses
Software language design and implementation often involve specifications written in various esoteric meta-languages. Language workbenches generally include support for precise name…
Using Spoofax to Support Online Code Navigation
Peter D. Mosses
Spoofax is a language workbench. A Spoofax language specification generally includes name resolution: the analysis of bindings between definitions and references. When browsing cod…
Fundamental Constructs in Programming Languages
Peter D. Mosses
When a new programming language appears, the syntax and intended behaviour of its programs need to be specified. The behaviour of each language construct can be concisely specified…
A Component-Based Formal Language Workbench
Peter D. Mosses
The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourag…
A Modular Structural Operational Semantics for Delimited Continuations
Neil Sculthorpe, Paolo Torrini, Peter D. Mosses
It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and fu…