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