Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 15:10 - 15:30 at Sala VII - Session 3 Chair(s): Paola Giannini

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 Jan
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

13:30 - 15:30: BEAT 2019 - Session 3 at Sala VII
Chair(s): Paola GianniniUniversita' del Piemonte Orientale
beat-2019-papers13:30 - 14:20
Jan HoffmannCarnegie Mellon University
beat-2019-papers14:20 - 15:10
Rumyana NeykovaBrunel University London
File Attached
beat-2019-papers15:10 - 15:30
Hans HüttelDepartment of Computer Science, Aalborg University, Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Adrian FrancalanzaUniversity of Malta, Mario BravettiUniversità di Bologna
File Attached