Please use this identifier to cite or link to this item:
Title: Advanced flow-based type systems for object-oriented languages
Keywords: Type System, Flow Analysis, Object-Oriented Language, Constraints, Region-based Memory, Genericity
Issue Date: 19-Sep-2008
Citation: CRACIUN MIHAI FLORIN GABRIEL (2008-09-19). Advanced flow-based type systems for object-oriented languages. ScholarBank@NUS Repository.
Abstract: This dissertation proposes two advanced type systems which improve on object-oriented software quality. The first type system addresses the problem of a safe compile-time region-based memory management. We have formulated and implemented an automatic region type inference system that can safely handle the object-oriented features without creating dangling references. Initial experimental results are encouraging, as programs based on our inferred regions have been able to reuse a significant amount of memory, especially for cases when data are not live throughout the execution. The second type system addresses the problem of software reusability in a type safe way. We have formulated and implemented a novel framework based on flow analysis and modular type checking to provide a simple but accurate model for capturing variant parametric types. Experiments indicate that more downcasts can be eliminated by our approach, even when it is compared against the type system of Java 1.5.
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
FlorinCraciunPhDThesisNUS2008.pdf961.19 kBAdobe PDF



Page view(s)

checked on Sep 30, 2018


checked on Sep 30, 2018

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.