一种独立于逻辑的集成开发环境
计算机科学中的逻辑
2014-10-31 v1 人机交互
摘要
作者的 MMT 系统提供了一个用于定义和实现逻辑系统的框架。通过将 MMT 与 jEdit 文本编辑器相结合，我们获得了一种独立于逻辑的集成开发环境（IDE）。该 IDE 的功能包括上下文敏感的自动补全、搜索和变更管理等高级特性。
引用
@article{arxiv.1410.8219,
title = {A Logic-Independent IDE},
author = {Florian Rabe},
journal= {arXiv preprint arXiv:1410.8219},
year = {2014}
}
备注
In Proceedings UITP 2014, arXiv:1410.7850