Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/16095
Title: Advanced flow-based type systems for object-oriented languages
Authors: CRACIUN MIHAI FLORIN GABRIEL
Keywords: Type System, Flow Analysis, Object-Oriented Language, Constraints, Region-based Memory, Genericity
Issue Date: 19-Sep-2008
Source: 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.
URI: http://scholarbank.nus.edu.sg/handle/10635/16095
Appears in Collections:Ph.D Theses (Open)

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

OPEN

NoneView/Download

Page view(s)

243
checked on Dec 11, 2017

Download(s)

234
checked on Dec 11, 2017

Google ScholarTM

Check


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