Static analysis and compiler design for idempotent processing.

Marc de Kruijf Karthikeyan Sankaralingam Somesh Jha

Published in: PLDI (2012)

Keyphrases

static analysis
case study
design process
data sets
programming language
software development
anomaly detection
dynamic analysis