A Revision of the Mool Language

TL;DR

This paper thoroughly analyzes and revises the Mool language, addressing its implementation, formal semantics, and type system, introducing new features and testing these improvements through implementation in Racket.

Contribution

It provides a comprehensive formal and practical revision of Mool, including new features and enhanced expressiveness, with implementation and testing in Racket.

Findings

Detected and fixed glitches in implementation and formal definitions

Enhanced language expressiveness with new features

Validated revisions through Racket implementation

Abstract

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.