Files in this item

FilesDescriptionFormat

application/pdf

application/pdf3023234.pdf (7MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Analyses of Pointers, Induction Variables, and Container Objects for Dependence Testing
Author(s):Wu, Peng
Doctoral Committee Chair(s):Padua, David A.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract:The last analysis targets container objects that are provided by standard libraries. Object-oriented design plays an increasing role in performance-critical codes. When dealing with general-purpose programs, arrays share their preeminence with more general container components, such as lists, sets, and hash-tables. We provide a pointer analysis that accurately models containers, iterators, and container-element connections. The analysis is an extension of Sagiv, Reps and Wilhelm's shape analysis for destructive updating. The output of the analysis can be interpreted as alias relations, shape properties, or connectivity.
Issue Date:2001
Type:Text
Language:English
Description:143 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2001.
URI:http://hdl.handle.net/2142/81587
Other Identifier(s):(MiAaPQ)AAI3023234
Date Available in IDEALS:2015-09-25
Date Deposited:2001


This item appears in the following Collection(s)

Item Statistics