一句话：提出首个支持对象程序化与直接操纵的双向面向对象语言，并实现 BiOOP 工具。
许多双向编程语言主要基于函数式或关系式范式，面向对象语言的双向化研究仍很缺乏。本文提出首个双向面向对象语言，在具有标准前向求值语义的核心面向对象语言上，为类继承层次和引用扩展了后向更新语义，并形式证明了当输出被一致修改时双向求值满足往返性质。作者实现了 BiOOP 工具，用双向 GUI 设计生成 HTML 文档，并通过复现 Java Swing 教程中的十个经典面向对象应用和 GitHub 上的一个大型项目来评估表达力与有效性。结果显示，针对生成 HTML 网页的面向对象程序，直接操纵编程的响应时间对开发者可接受。
Many bidirectional programming languages, which are mainly functional and relational, have been designed to support writing programs that run in both forward and backward directions. Nevertheless, there is little study on the bidirectionalization of object-oriented languages that are more popular in practice. This paper presents the first bidirectional object-oriented language that supports programmatic and direct manipulation of objects. Specifically, we carefully extend a core object-oriented language, which has a standard forward evaluation semantics, with backward updating semantics for class inheritance hierarchies and references. We formally prove that the bidirectional evaluation semantics satisfies the round-tripping properties if the output is altered consistently. To validate the utility of our approach, we have developed a tool called BiOOP for generating HTML documents through bidirectional GUI design. We evaluate the expressiveness and effectiveness of BiOOP for HTML webpage development by reproducing ten classic object-oriented applications from a Java Swing tutorial and one large project from GitHub. The experimental results show the response time of direct manipulation programming on object-oriented programs that produce HTML webpages is acceptable for developers.
@article{paperbot2030,
title = {Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects},
author = {Xing Zhang and Guanchen Guo and Xiao He and Zhenjiang Hu},
journal = {Proceedings of the ACM on Programming Languages},
volume = {7},
number = {OOPSLA1},
year = {2023},
doi = {10.1145/3586035}
}