Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Georgian-Vlad Saioc, Hans Hüttel
Many universities have courses and projects revolving around compiler or interpreter implementation as part of their degree programmes in computer science. In such teaching activit…
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…