The While language
Programming Languages
2016-04-13 v2
Abstract
This article presents a formalisation of a simple imperative programming language. The objective is to study and develop "hands-on" a formal specifcation of a programming language, namely its syntax, operational semantics and type system. To have an executable version of the language, we implemented in Racket its operational semantics and type system.
Cite
@article{arxiv.1603.08949,
title = {The While language},
author = {Cláudio Vasconcelos and António Ravara},
journal= {arXiv preprint arXiv:1603.08949},
year = {2016}
}
Comments
15 pages, 21 figures