@inproceedings{74e25beed039487c9cd4f331330643b2,
title = "Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language",
abstract = "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 specifications of the admissible sequences of method calls. The analysis entwines usage checking, controlling the order in which methods are called, with a static check determining whether references may contain null values. It prevents null pointer dereferencing in a typestate-aware manner and memory leaks and ensures that the intended usage protocol of every object is respected and completed. The type system admits an algorithm that infers the most general usage with respect to a simulation preorder. The type system is implemented in the form of a type checker and a usage inference tool.",
author = "Mario Bravetti and Adrian Francalanza and Iaroslav Golovanov and Hans H{\"u}ttel and Jakobsen, {Mathias S.} and Kettunen, {Mikkel K.} and Ant{\'o}nio Ravara",
note = "Funding Information: Work partially supported by the EU H2020 RISE programme under the Marie Sk lodowska-Curie grant agreement No. 778233 (BehAPI), the UK EPSRC grant EP/K034413/1 (ABCD), and by NOVA LINCS (UIDB/04516/2020) via FCT. Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 18th Asian Symposium on Programming Languages and Systems, APLAS 2020 ; Conference date: 30-11-2020 Through 02-12-2020",
year = "2020",
doi = "10.1007/978-3-030-64437-6_6",
language = "English",
isbn = "978-3-030-64436-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "105--124",
editor = "Oliveira, {Bruno C.}",
booktitle = "Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings",
address = "Germany",
}