loading...
Static Analysis of Programs: A Heap Centric View
Pune, India September 11-September 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.35Fourth IEEE International Conference ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Uday Khedker, "Static Analysis of Programs: A Heap Centric View," Software Engineering and Formal Methods, International Conference on, pp. 261, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2006.35,
author = {Uday Khedker},
title = {Static Analysis of Programs: A Heap Centric View},
journal ={Software Engineering and Formal Methods, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2678-0},
pages = {261},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.35},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, International Conference on
TI - Static Analysis of Programs: A Heap Centric View
SN - 0-7695-2678-0
SP
EP
A1 - Uday Khedker,
PY - 2006
KW - null
VL - 0
JA - Software Engineering and Formal Methods, International Conference on
ER -
 
Uday Khedker, IIT Bombay, India
Data flow analysis is a technique for deriving information from a program. The applications of this technique range from compiler optimization to software engineering to software verification. Modern compilers use this technique to produce code that maximize performance. In software engineering, the technique is used to re-engineer or reverse engineer programs. Finally, this technique is used in software verification to prove soundness of programs.
Citation:
Uday Khedker, "Static Analysis of Programs: A Heap Centric View," sefm, pp.261, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.