Salsa is a framework designed to support efficient incremental recomputation, commonly used in tools...