Sciweavers

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

9

ADAEUROPE
1999
Springer

favoriteEmaildiscussreport

84views Software Engineering» more ADAEUROPE 1999»

Interprocedural Symbolic Evaluation of Ada Programs with Aliases

13 years 9 months ago

Interprocedural Symbolic Evaluation of Ada Programs with Aliases

Download www.auto.tuwien.ac.at

Johann Blieberger, Bernd Burgstaller, Bernhard Sch

Real-time Traffic

ADAEUROPE 1999 | Software Engineering |

claim paper

Related Content

» Interprocedural Symbolic Range Propagation for Optimizing Compilers

» TypeDependence Analysis and Program Transformation for Symbolic Execution

» Snugglebug a powerful approach to weakest preconditions

» Generating precise and concise procedure summaries

» ARCHER using symbolic pathsensitive analysis to detect memory access errors

» Lightweight reference affinity analysis

» An empirical study of optimizations in YOGI

Post Info
More Details (n/a)

Added	03 Aug 2010
Updated	03 Aug 2010
Type	Conference
Year	1999
Where	ADAEUROPE
Authors	Johann Blieberger, Bernd Burgstaller, Bernhard Scholz

Comments (0)