Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Checking and Inferring Local Non-Aliasing University of California, Berkeley
 

Summary: Checking and Inferring Local Non-Aliasing
Alex Aiken
University of California, Berkeley
aiken@cs.berkeley.edu
Jeffrey S. Foster
University of Maryland, College Park
jfoster@cs.umd.edu
John Kodumal
University of California, Berkeley
jkodumal@cs.berkeley.edu
Tachio Terauchi
University of California, Berkeley
tachio@cs.berkeley.edu
ABSTRACT
In prior work [15] we studied a language construct restrict that
allows programmers to specify that certain pointers are not aliased
to other pointers used within a lexical scope. Among other appli-
cations, programming with these constructs helps program analysis
tools locally recover strong updates, which can improve the track-
ing of state in flow-sensitive analyses. In this paper we continue

  

Source: Aiken, Alex - Department of Computer Science, Stanford University
Foster, Jeff - Institute for Advanced Computer Studies & Department of Computer Science, University of Maryland at College Park

 

Collections: Computer Technologies and Information Sciences