Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

PLDI
2000
ACM

favoriteEmaildiscussreport

89views Programming Languages» more PLDI 2000»

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

13 years 9 months ago

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

Download people.csail.mit.edu

Radu Rugina, Martin C. Rinard

Real-time Traffic

PLDI 2000 | Programming Languages |

claim paper

Related Content

» Automatic Parallelization of Divide and Conquer Algorithms

» ARCHER using symbolic pathsensitive analysis to detect memory access errors

» Precise pointer reasoning for dynamic test generation

» Region array SSA

» Typestate Checking of Machine Code

Post Info
More Details (n/a)

Added	01 Aug 2010
Updated	01 Aug 2010
Type	Conference
Year	2000
Where	PLDI
Authors	Radu Rugina, Martin C. Rinard

Comments (0)