POPL 2019 (series) / BEAT 2019 (series) / BEAT 2019: Fourth Workshop on Behavioral Types /
Getting Rid of Null-Dereferences – Behavioural Types to the Rescue
Mungo and StMungo are two type-based analysis tools for a Java-like language that have been developed at Glasgow University.
This paper extends the results of Mungo by presenting a type-based analysis that is able to analyze both method usage and null pointer dereferencing and related errors. The language that we consider is a Java-like language with linear access to fields. Every field can be written to and subsequently readatmost once. Every method of an object must adhere to a usage behaviour that describes the admissible sequences of method calls.
Our type system prevents four kinds of errors related to method and field access. They are
- Method not available
- Field not available
- Method not understood
- Field not understood
| Slides (BEAT2019.pdf) | 5.19MiB |
Sun 13 JanDisplayed time zone: Belfast change
Sun 13 Jan
Displayed time zone: Belfast change
13:30 - 15:30 | |||
13:30 50mTalk | Invited Talk: Resource-Aware Session Types BEAT Jan Hoffmann Carnegie Mellon University | ||
14:20 50mTalk | Invited Talk: A Session Type Provider: Compile-time Generation of Session Types with Interaction Refinements BEAT Rumyana Neykova Brunel University London File Attached | ||
15:10 20mTalk | Getting Rid of Null-Dereferences – Behavioural Types to the Rescue BEAT Hans Hüttel Department of Computer Science, Aalborg University, António Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Adrian Francalanza University of Malta, Mario Bravetti Università di Bologna File Attached | ||