An Algorithm for Incremental Timing Analysis
تحليل وتصميم الخوارزميات