| GVim的TLA+语言插件设计与实现 |
| |
| 引用本文： | 邢超,龙士工. GVim的TLA+语言插件设计与实现[J]. 贵州大学学报(自然科学版), 2013, 30(3) |
| |
| 作者姓名： | 邢超 龙士工 |
| |
| 作者单位： | 贵州大学计算机科学与信息学院,贵州贵阳,550025 |
| |
| 摘 要： | GVim是一款著名的编辑器,它允许用户为方便使用而自定义插件.TLA+语言是由Les-lie Lamport设计的基于行为时序逻辑的一门系统描述语言.本文描述了为GVim编写TLA+语言插件的详细步骤.这些插件提供了关键字高亮,插入模板,缩进,以及在图形界面下调用TLA模型检测的相关命令等功能,通过使用这些插件,在用TLA+语言描述系统时可明显提高编辑效率.
|
| 关 键 词： | GVim TLA+ PlusCal 插件 |
The Design and Implementation of TLA + Plugins for GVim |
| |
| XING Chao , LONG Shi-gong. The Design and Implementation of TLA + Plugins for GVim[J]. Journal of Guizhou University(Natural Science), 2013, 30(3) |
| |
| Authors: | XING Chao LONG Shi-gong |
| |
| Abstract: | |
| |
| Keywords: | GVim TLA + PlusCal plugin |
| 本文献已被 万方数据 等数据库收录！ |
|
