利用 Model Master 确保电子表格完整性
Ensuring Spreadsheet Integrity with Model Master
AI总结：
本文提出 Model Master 语言及其编译与反编译工具，通过文本化规格生成和逆向摘要电子表格，以降低错误率、支持代码复用并提升电子表格交换能力。
摘要：
我们开发了用于描述电子表格的 Model Master (MM) 语言，以及用于在 MM 程序与电子表格之间进行转换的工具。MM 反编译器将电子表格翻译为 MM 程序，从而对其计算、布局和样式给出简明摘要。这在尝试理解未曾见过的电子表格以及检查错误时非常有价值。MM 编译器则反向工作，将 MM 程序翻译为电子表格。这使得一种新的开发方式成为可能，即从文本化规格说明生成电子表格。与直接操作原始电子表格相比，这可以降低错误率，并提供重要的代码复用能力。在电子表格交换方面，MM 程序也比 Excel 文件更具优势。
英文摘要：
We have developed the Model Master (MM) language for describing spreadsheets, and tools for converting MM programs to and from spreadsheets. The MM decompiler translates a spreadsheet into an MM program which gives a concise summary of its calculations, layout, and styling. This is valuable when trying to understand spreadsheets one has not seen before, and when checking for errors. The MM compiler goes the other way, translating an MM program into a spreadsheet. This makes possible a new style of development, in which spreadsheets are generated from textual specifications. This can reduce error rates compared to working directly with the raw spreadsheet, and gives important facilities for code reuse. MM programs also offer advantages over Excel files for the interchange of spreadsheets.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
