Tomas Petricek

Denicek：面向文档的终端用户编程计算基质

Petricek 等人提出 Denicek 计算基质，将程序表示为数据和公式文档的编辑历史，通过编辑应用、历史合并与冲突解决三大操作，简化协作编程、增量重算等终端用户编程体验的实现。