{\pi}: Towards a Simple Formal Semantic Framework for Compiler Construction

Autor:	Braga, Christiano
Rok vydání:	2018
Předmět:	Computer Science - Programming Languages
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1805.04650 Zobrazit plný text záznamu View this record from Arxiv