arXiv subjects

Cláudio Vasconcelos

Publications and source records attributed to Cláudio Vasconcelos.

2 recordsLinked to original sources

arXiv2016

A Revision of the Mool Language

We present here in a thorough analysis of the Mool language, covering not only its implementation but also the formalisation (syntax, operational semantics, and type system). The objective is to detect glitches in both the implementation and in the formal definitions, proposing as well new features and added expressiveness. To test our proposals we implemented the revision developed in the Racket platform.

cs.PL↗

arXiv2016

The While language

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.

cs.PL↗