Parametric Denotational Semantics for Extensible Language Definition and Program Analysis
Programming Languages
2018-12-04 v1
Abstract
We present a novel approach to construction of a formal semantics for a programming language. Our approach, using a parametric denotational semantics, allows the semantics to be easily extended to support new language features, and abstracted to define program analyses. We apply this in analysing a duck-typed, reflective, curried dynamic language. The benefits of this approach include its terseness and modularity, and the ease with which one can gradually build language features and analyses on top of a previous incarnation of a semantics.
Cite
@article{arxiv.1812.00089,
title = {Parametric Denotational Semantics for Extensible Language Definition and Program Analysis},
author = {In-Ho Yi},
journal= {arXiv preprint arXiv:1812.00089},
year = {2018}
}