{\pi}: Towards a Simple Formal Semantic Framework for Compiler Construction
Programming Languages
2018-08-02 v2
Abstract
This paper proposes {\pi}, a formal semantic framework for compiler construction together with program validation. {\pi} is comprised by {\pi} Lib, a set of programming languages constructs inspired by Peter Mosses' Component-Based Semantics and {\pi} Automata, an automata-based formalism to describe the operational semantics of programming languages, that generalizes Gordon Plotkin's Interpreting Automata.
Cite
@article{arxiv.1805.04650,
title = {{\pi}: Towards a Simple Formal Semantic Framework for Compiler Construction},
author = {Christiano Braga},
journal= {arXiv preprint arXiv:1805.04650},
year = {2018}
}