编程语言

最近提交的作者和标题

• 2025年07月04日， 星期五
• 2025年07月03日， 星期四
• 2025年07月02日， 星期三
• 2025年07月01日， 星期二
• 2025年06月30日， 星期一

查看今天的 新的 变化

2025年07月04日， 星期五 (展示 2 之 2 条目 )

[1] arXiv:2507.02226 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： DecoRTL：一种基于大语言模型的RTL代码生成运行时解码框架 显示英文标题

标题： DecoRTL: A Run-time Decoding Framework for RTL Code Generation with LLMs

Mohammad Akyash, Kimia Azar, Hadi Kamali

评论： 被国际计算机辅助设计会议（ICCAD 2025）接收

主题： 编程语言 (cs.PL) ; 硬件架构 (cs.AR) ; 机器学习 (cs.LG)

[2] arXiv:2507.02107 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 基于自然语言查询的结构化代码搜索 显示英文标题

标题： Structural Code Search using Natural Language Queries

Ben Limpanukorn, Yanjun Wang, Zach Patterson, Pranav Garg, Murali Krishna Ramanathan, Xiaofei Ma, Anoop Deoras, Miryung Kim

主题： 软件工程 (cs.SE) ; 编程语言 (cs.PL)

2025年07月03日， 星期四 (展示 3 之 3 条目 )

[3] arXiv:2507.01664 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： 全球性与区域 显示英文标题

标题： Globality and Regions

Hector Gramaglia

主题： 编程语言 (cs.PL)

[4] arXiv:2507.01272 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： 高级LPeg技术：双案例研究方法 显示英文标题

标题： Advanced LPeg techniques: A dual case study approach

Zixuan Zhu

期刊参考： 计算机语言杂志 84, 101343 (2025)

主题： 编程语言 (cs.PL)

[5] arXiv:2507.01780 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： LeanLTL：Lean 中线性时态逻辑的统一框架 显示英文标题

标题： LeanLTL: A unifying framework for linear temporal logics in Lean

Eric Vin, Kyle A. Miller, Daniel J. Fremont

评论： 9页，3图；有关联的项目文件，请参见 https://github.com/UCSCFormalMethods/LeanLTL；将发表在ITP '25的LIPIcs中

主题： 计算机科学中的逻辑 (cs.LO) ; 编程语言 (cs.PL)

2025年07月02日， 星期三 (展示 7 之 7 条目 )

[6] arXiv:2507.00488 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： 面向对象语言在类函数及其子类方面是否遗漏了某种技巧？ 显示英文标题

标题： Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?

Lloyd Allison

主题： 编程语言 (cs.PL)

[7] arXiv:2507.00264 (交叉列表自 cs.PL) [中文pdf, pdf, 其他]

标题： Rust 与 C 对于 Python 库：评估 Rust 兼容绑定工具链 显示英文标题

标题： Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains

Isabella Basso do Amaral (1), Renato Cordeiro Ferreira (1,2,3,4), Alfredo Goldman (1) ((1) University of São Paulo, (2) Jheronimus Academy of Data Science, (3) Technical University of Eindhoven, (4) Tilburg University)

评论： 10页，27图（1个图示，4个图表，9张表格，13个代码清单），提交至SBAC-PAD 2025

主题： 编程语言 (cs.PL) ; 分布式、并行与集群计算 (cs.DC) ; 性能 (cs.PF) ; 软件工程 (cs.SE)

[8] arXiv:2507.00057 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： 基于大语言模型的代码生成中无预言的正确性估计 显示英文标题

标题： Estimating Correctness Without Oracles in LLM-Based Code Generation

Thomas Valentin, Ardi Madadi, Gaetano Sapia, Marcel Böhme

评论： 8页+参考文献和附录

主题： 编程语言 (cs.PL) ; 人工智能 (cs.AI) ; 机器学习 (cs.LG) ; 软件工程 (cs.SE)

[9] arXiv:2507.00782 (交叉列表自 cs.CL) [中文pdf, pdf, 其他]

标题： 自然语言语义的功能模型的图示演算 显示英文标题

标题： A Diagrammatic Calculus for a Functional Model of Natural Language Semantics

Matthieu Pierre Boyer

评论： 15页，提交至CSL 2026之前的预印本

主题： 计算与语言 (cs.CL) ; 编程语言 (cs.PL)

[10] arXiv:2507.00595 (交叉列表自 cs.CR) [中文pdf, pdf, html, 其他]

标题： 秘密不得泄露：将安全验证扩展到大型代码库（扩展版） 显示英文标题

标题： The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)

Linard Arquint, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, Peter Müller

主题： 密码学与安全 (cs.CR) ; 编程语言 (cs.PL) ; 软件工程 (cs.SE)

[11] arXiv:2507.00108 (交叉列表自 cs.CY) [中文pdf, pdf, html, 其他]

标题： 在生成式人工智能时代的编程教学：文献见解、教学建议和学生观点 显示英文标题

标题： Teaching Programming in the Age of Generative AI: Insights from Literature, Pedagogical Proposals, and Student Perspectives

Clemente Rubio-Manzano, Jazna Meza, Rodolfo Fernandez-Santibanez, Christian Vidal-Castro

主题： 计算机与社会 (cs.CY) ; 人工智能 (cs.AI) ; 新兴技术 (cs.ET) ; 编程语言 (cs.PL)

[12] arXiv:2507.00094 (交叉列表自 cs.DB) [中文pdf, pdf, html, 其他]

标题： 高效丰富的数据感知Declare规范的一致性检查（扩展版） 显示英文标题

标题： Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)

Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Mucientes, Manuel Lama

评论： 同名论文的扩展版本被第23届国际业务流程管理会议（BPM 2025）接受

主题： 数据库 (cs.DB) ; 人工智能 (cs.AI) ; 编程语言 (cs.PL)

2025年07月01日， 星期二 (展示 6 之 6 条目 )

[13] arXiv:2506.23407 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： 在 TypeScript 中通过基于 JSON 的 IR 将 Q# 子集编译为 QASM 3.0 显示英文标题

标题： Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR

Marcus Edwards

主题： 编程语言 (cs.PL) ; 量子物理 (quant-ph)

[14] arXiv:2506.23320 (交叉列表自 cs.PL) [中文pdf, pdf, html, 其他]

标题： 量子循环的指称语义 显示英文标题

标题： A Denotational Semantics for Quantum Loops

Nicola Assolini, Alessandra Di Pierro

评论： 17页

主题： 编程语言 (cs.PL)

[15] arXiv:2506.23058 (交叉列表自 cs.PL) [中文pdf, pdf, 其他]

标题： 在纯函数式数据并行语言中验证索引数组的性质 显示英文标题

标题： Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language

Nikolaj Hey Hinnerskov, Robert Schenck, Cosmin E. Oancea

主题： 编程语言 (cs.PL) ; 分布式、并行与集群计算 (cs.DC)

[16] arXiv:2506.23696 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 使用验证感知编程语言时，开发人员面临哪些挑战？ 显示英文标题

标题： What Challenges Do Developers Face When Using Verification-Aware Programming Languages?

Francisco Oliveira, Alexandra Mendes, Carolina Carreira

主题： 软件工程 (cs.SE) ; 编程语言 (cs.PL)

[17] arXiv:2506.23281 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 关于使用二分法消除编译器错误的可行性 显示英文标题

标题： On the Feasibility of Deduplicating Compiler Bugs with Bisection

Xintong Zhou, Zhenyang Xu, Chengnian Sun

主题： 软件工程 (cs.SE) ; 编程语言 (cs.PL)

[18] arXiv:2506.22776 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 更小 = 更弱？ 量化大语言模型在代码生成中的鲁棒性基准测试 显示英文标题

标题： Smaller = Weaker? Benchmarking Robustness of Quantized LLMs in Code Generation

Sen Fang, Weiyuan Ding, Antonio Mastropaolo, Bowen Xu

评论： 13页，6图

主题： 软件工程 (cs.SE) ; 人工智能 (cs.AI) ; 编程语言 (cs.PL)

2025年06月30日， 星期一 (展示 3 之 3 条目 )

[19] arXiv:2506.22370 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 大型语言模型能帮助学生证明软件正确性吗？ 与 Dafny 的实验研究 显示英文标题

标题： Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny

Carolina Carreira, Álvaro Silva, Alexandre Abreu, Alexandra Mendes

主题： 软件工程 (cs.SE) ; 编程语言 (cs.PL)

[20] arXiv:2506.22323 (交叉列表自 cs.CR) [中文pdf, pdf, html, 其他]

标题： BlotchyQuasar的内部情况：针对拉丁美洲的基于DLL的RAT活动 显示英文标题

标题： Under the Hood of BlotchyQuasar: DLL-Based RAT Campaigns Against Latin America

Alessio Di Santo

主题： 密码学与安全 (cs.CR) ; 计算机与社会 (cs.CY) ; 网络与互联网架构 (cs.NI) ; 操作系统 (cs.OS) ; 编程语言 (cs.PL)

[21] arXiv:2506.22169 (交叉列表自 cs.DC) [中文pdf, pdf, html, 其他]

标题： MCFuser：高性能和快速融合的内存绑定计算密集型操作符 显示英文标题

标题： MCFuser: High-Performance and Rapid Fusion of Memory-Bound Compute-Intensive Operators

Zheng Zhang, Donglin Yang, Xiaobo Zhou, Dazhao Cheng

评论： 12页，被SC 2024接收

期刊参考： SC24：高性能计算、网络、存储和分析国际会议。IEEE，2024

主题： 分布式、并行与集群计算 (cs.DC) ; 编程语言 (cs.PL)