SeCodePLT 是由 UCSB-SURFI 团队创建的一个文本数据集，主要用于与编程语言理论（PLT）相关的代码语义分析研究。
该数据集旨在支持代码语义理解、程序分析以及编程语言理论领域的研究与应用开发。
适用于自然语言处理（NLP）与软件工程交叉领域的研究，例如： - 代码语义搜索 - 程序代码的表示学习 - 编程语言理论相关的任务（如类型推断、程序等价性分析等）