1 paper · 1 filter
Cláudio Vasconcelos, António Ravara
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,…