Practical Algorithms for Incremental Software Development Environments