从可逆计算看Delta Oriented Programming_开源_canonical