AI Chat AI Image Generator AI Video Text to Speech

π: Towards a Simple Formal Semantic Framework for Compiler Construction

05/12/2018

∙

by Christiano Braga, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 05/12/2018

Compiler Construction with Basic Programming Languages Constructs and Generalized Interpreting Automata

We have been developing and applying an approach to teach compiler const...

0 Christiano Braga, et al. ∙

research

∙ 04/28/2018

KRust: A Formal Executable Semantics of Rust

Rust is a new and promising high-level system programming language. It p...

0 Feng Wang, et al. ∙

research

∙ 08/09/2022

Branching Pomsets for Choreographies

Choreographic languages describe possible sequences of interactions amon...

0 Luc Edixhoven, et al. ∙

research

∙ 09/07/2021

An Executable Structural Operational Formal Semantics for Python

Python is a popular high-level general-purpose programming language also...

0 Maximilian A. Köhl, et al. ∙

research

∙ 10/15/2020

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version)

Dynamic programming languages face semantic and performance challenges i...

0 Julia Belyakova, et al. ∙

research

∙ 06/07/2018

Rust Distilled: An Expressive Tower of Languages

Rust represents a major advancement in production programming languages ...

0 Aaron Weiss, et al. ∙

research

∙ 06/30/2016

Swift: Compiled Inference for Probabilistic Programming Languages

A probabilistic program defines a probability measure over its semantic ...

0 Yi Wu, et al. ∙