paperbot · PL 论文追踪

全部论文 待读 收藏

P2 COOLer: A Language Support Extension for COOL in VS Code

COOLer：面向 VS Code 中 COOL 语言的支持扩展
ISSTA Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis2025匹配度 1/10 · 论文聚焦 COOL 教学语言在 VS Code 中的编辑支持，属于编程环境与教育工具，与用户关注的静态分析、LLM/Agent 与程序分析交叉、浮点程序分析、贝叶斯程序分析等核心方向基本无关。引用 0 inbox
Linhan Li, ThanhVu (Vu) Nguyen
编程环境与开发者工具
crossref: 2026-09-12

AI 速览

一句话：为 VS Code 开发 COOL 语言支持扩展，减轻学生编写与测试 COOL 程序的负担。

COOL 是许多本科与研究生课程用于讲授编译原理与编译器设计的面向对象编程语言。大多数学生此前并不熟悉该语言，而主流代码编辑器与 IDE 又普遍缺乏对 COOL 的支持，这使得学生编写代码和测试程序时负担较重，进而难以充分理解该语言及其编译器中的许多重要与高级特性。本文提出 COOLer——一个面向 VS Code 的 COOL 语言支持扩展，旨在把 COOL 的语言支持引入常用编辑环境，降低学生编写与测试 COOL 程序的难度，从而帮助他们更好地掌握该语言及其编译器特性。

问题
COOL 语言缺乏编辑器与 IDE 支持，加上学生对该语言不熟悉，编写与测试 COOL 程序负担沉重，妨碍其理解语言与编译器的高级特性。
方法
设计并实现 COOLer，一个在 VS Code 中为 COOL 提供语言支持的扩展。
评估
摘要中未给出具体的评估方式与结果。
原文摘要（Abstract）

COOL is an object-oriented programming language used to teach compiler design in many undergraduate and graduate courses. Because most students are unfamiliar with the language, and because code editors and IDEs often lack support for COOL, writing code and test programs in COOL is burdensome to students, causing them to not fully understand many important and advanced features of the language and its compiler.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot9586,
  title = {COOLer: A Language Support Extension for COOL in VS Code},
  author = {Linhan Li and ThanhVu (Vu) Nguyen},
  booktitle = {ISSTA},
  year = {2025},
  doi = {10.1145/3713081.3731729}
}