Stav dette: time sharing and incremental computation /