GVim的TLA+语言插件设计与实现

• 作者: 邢超 龙士工
• 来源期刊: 贵州大学学报（自然科学版）
• 学科: 工学
• 关键词: GVim TLA+ PlusCal 插件
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 计算机技术
• 页码范围: 82-86
• 页数: 5页
• 分类号: TP311.52
• 字数: 2728字
• 语种: 中文

摘要

GVim是一款著名的编辑器,它允许用户为方便使用而自定义插件.TLA+语言是由Les-lie Lamport设计的基于行为时序逻辑的一门系统描述语言.本文描述了为GVim编写TLA+语言插件的详细步骤.这些插件提供了关键字高亮,插入模板,缩进,以及在图形界面下调用TLA模型检测的相关命令等功能,通过使用这些插件,在用TLA+语言描述系统时可明显提高编辑效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	龙士工	贵州大学计算机科学与信息学院	39	110	5.0	9.0
2	邢超	贵州大学计算机科学与信息学院	1	1	1.0	1.0