1 paper
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,…