Idempotent Code Generation: Implementation, Analysis, and Evaluation
Static Analysis and Compiler Design for Idempotent Processing