π: Towards a Simple Formal Semantic Framework for Compiler Construction

05/12/2018
by   Christiano Braga, et al.
0

This paper proposes π, a formal semantic framework for compiler construction together with program validation. π is comprised by π Lib, a set of programming languages constructs inspired by Peter Mosses' Component-Based Semantics and π Automata, an automata-based formalism to describe the operational semantics of programming languages, that generalizes Gordon Plotkin's Interpreting Automata.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset