Variant Region Types

Florin Craciun, Wei-ngan Chin, Shengchao Qin

Research output: Contribution to conferencePaperpeer-review


Region-based memory management has been shown to be an effective alternative that can co-exist with garbage collectors in memory managed languages especially for Real-Time and Big Data applications. In this paper we propose a novel variant region type system that extends our previous Java region types to Generic Java. The main difficulties are given by the type variables used by Generic Java. Our proposal is based on a modular flow analysis that captures regions lifetime relations via subtyping constraints at the method boundary. Our variant region type system guarantees that well-typed Generic Java programs use lexically-scoped regions and never create dangling references in the store and on the program stack.
Original languageEnglish
Publication statusPublished - 27 Dec 2018
Event23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Melbourne, VIC
Duration: 12 Dec 201814 Dec 2018


Conference23rd International Conference on Engineering of Complex Computer Systems (ICECCS)


Dive into the research topics of 'Variant Region Types'. Together they form a unique fingerprint.

Cite this