2 citations · 4 across the 7 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov +4
We present a type-based analysis ensuring memory safety and object protocol completion in the Java-like language Mungo. Objects are annotated with usages, typestates-like specifica…
cs.PL2016
The While language
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,…