arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2026-08-31 至 2026-08-31 共收录 1 信号源:cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 程序分析与验证 1 篇

2608.28202 2026-08-31 cs.PL 新提交 57%

URIUM: A Programming Language for a Practical Open Course on Compiler Design

URIUM:一门面向实用编译器设计开放课程的编程语言

Francisco J. Moreno Velo, Almudena García Jurado-Centurión

专题命中 程序分析与验证 :code generation(abstract);分类 cs.PL

AI总结 本文提出用于实用编译器设计开放课程的编程语言URIUM,该课程可逐步讲解编译器构建,适配不同难度,生成多平台代码,可作为高级主题讲解的起点。

Comments 18 pages, 13 figures. All course content, including the source code for each lecture, is available at the following link: this https URL (https://github.com/fran-moreno-velo/urium)

详情

展开后加载摘要…

URL PDF HTML 收藏