Skip to main content

Engineering meta-languages for specifying software languages (keynote)

Peter D. Mosses

DOI 10.1145/3136014.3148041 dblp BibTeX

Abstract

The programming and modelling languages currently used in software engineering generally have plenty of tool support. But although their syntax is specified using formal grammars or meta-models, complete formal semantic specifications are seldom provided.

Related papers

There Is Only One Time in Software (Language) Engineering! (Keynote) SLE 2024
Example-driven software language engineering SLE 2020
Biological computation (keynote) CGO 2018
Redex: a language for lightweight semantics engineering (keynote) SLE 2016
Programming the world of uncertain things (keynote) POPL 2016
Engineering Languages for Specifying Product-Derivation Processes in Software Product Lines SLE 2008
A new approach for software correctness and reliability (keynote) SLE 2018
Analysing meta-model product lines SLE 2018