Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

9 years 11 months ago

Download www.cs.ox.ac.uk

al Key Words and Phrases: Static analysis, context-sensitive analysis, abstract interpretation ACM Reference Format: ACM Trans. Program. Lang. Syst. V, N, Article A (January YYYY), 44 pages. DOI = 10.1145/0000000.0000000 http://doi.acm.org/10.1145/0000000.0000000

Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang,

Real-time Traffic

TOPLAS 2016 |

claim paper

» An analysis of the effects of population structure on scalable multiobjective optimization...

» A Variation Aware High Level Synthesis Framework

» Analyzing Test and Repair Times for 2D Integrated Memory Builtin Test and Repair

» Dimensionality analysis of a simulation outcome space

» 20 Years of Four HCI Conferences A Visual Exploration

Post Info
More Details (n/a)

Added	11 Apr 2016
Updated	11 Apr 2016
Type	Journal
Year	2016
Where	TOPLAS
Authors	Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi

Comments (0)

Sciweavers

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

TOPLAS 2016 |

Explore & Download

Productivity Tools

Sciweavers