开发实用的反应式合成工具：经验与教训
软件工程
2016-11-24 v1 编程语言
摘要
我们总结了开发和使用 Termite 的经验，这是首个旨在供软件开发从业者使用的反应式合成工具。我们识别了使反应式合成对软件开发者可及的主要障碍，并描述了 Termite 为克服这些障碍而设计的关键特性，包括一种类 C 的命令式规约语言、一个交互式源码级调试器以及一个用户引导的代码生成器。基于我们将 Termite 应用于合成真实世界反应式软件的经验，我们指出了反应式合成技术实际应用中的若干注意事项。我们希望这些发现将有助于定义未来实用反应式合成的研究议程。
引用
@article{arxiv.1611.07624,
title = {Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned},
author = {Leonid Ryzhyk and Adam Walker},
journal= {arXiv preprint arXiv:1611.07624},
year = {2016}
}
备注
In Proceedings SYNT 2016, arXiv:1611.07178