编程语言

最近提交的作者和标题

• 2025年08月06日， 星期三
• 2025年08月05日， 星期二
• 2025年08月04日， 星期一
• 2025年08月01日， 星期五
• 2025年07月31日， 星期四

查看今天的 新的 变化

2025年08月04日， 星期一 (继续， 展示 最后 10 之 7 条目 )

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

标题： 扩展摘要：具有多种实现的可变对象 显示英文标题

标题： Extended Abstract: Mutable Objects with Several Implementations

Matt Kaufmann, Yahya Sohail, Warren A. Hunt Jr

评论： 在ACL2 2025会议论文集中，arXiv:2507.18567

期刊参考： EPTCS 423，2025，第60-64页

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

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

标题： 从可证明的正确性到概率生成：程序合成范式的比较综述 显示英文标题

标题： From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms

Zurabi Kobaladze, Anna Arnania, Tamar Sanikidze

评论： 78页。提交的学士学位论文项目，作为库塔伊西国际大学计算机科学学士学位要求的部分满足。

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

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

标题： 在约束条件下程序合成中的程序空间建模 显示英文标题

标题： Modelling Program Spaces in Program Synthesis with Constraints

Tilman Hinnerichs, Bart Swinkels, Jaap de Jong, Reuben Gardos Reid, Tudor Magirescu, Neil Yorke-Smith, Sebastijan Dumancic

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

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

标题： 从代码到职业：评估竞赛程序员以进行行业实习 显示英文标题

标题： From Code to Career: Assessing Competitive Programmers for Industry Placement

Md Imranur Rahman Akib, Fathima Binthe Muhammed, Umit Saha, Md Fazlul Karim Patwary, Mehrin Anannya, Md Alomgeer Hussein, Md Biplob Hosen

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

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

标题： Desyan：一个无缝价值流和符号分析的平台 显示英文标题

标题： Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis

Panagiotis Diamantakis, Thanassis Avgerinos, Yannis Smaragdakis

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

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

标题： 循环不变式生成：一种优化的LLM与SMT求解器混合框架 显示英文标题

标题： Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

评论： 待审核

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

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

标题： 函数式与面向对象：比较编程范式如何影响系统架构特性 显示英文标题

标题： Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems

Briza Mel Dias de Sousa (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)

评论： 11页，16图（1表，3图示，5图形，7列表），提交至SBQS 2025 CTICQS毕业设计竞赛

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

2025年08月01日， 星期五 (展示 4 之 4 条目 )

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

标题： Kernel-FFI：交互式笔记本的透明外部函数接口 显示英文标题

标题： Kernel-FFI: Transparent Foreign Function Interfaces for Interactive Notebooks

Hebi Li, Forrest Sheng Bao, Qi Xiao, Jin Tian

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

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

标题： 序列、函数和算子的抽象 显示英文标题

标题： Abstractions of Sequences, Functions and Operators

Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo

评论： 正在考虑发表于STTT

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

[28] arXiv:2507.23292 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： 序列层：使序列处理和流式神经网络变得简单 显示英文标题

标题： SequenceLayers: Sequence Processing and Streaming Neural Networks Made Easy

RJ Skerry-Ryan, Julian Salazar, Soroosh Mariooryad, David Kao, Daisy Stanton, Eric Battenberg, Matt Shannon, Ron J. Weiss, Robin Scheibler, Jonas Rothfuss, Tom Bagby

主题： 机器学习 (cs.LG) ; 计算与语言 (cs.CL) ; 编程语言 (cs.PL) ; 软件工程 (cs.SE) ; 音频与语音处理 (eess.AS)

[29] arXiv:2507.23186 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： NaN传播：一种用于黑盒计算函数稀疏性检测的新方法 显示英文标题

标题： NaN-Propagation: A Novel Method for Sparsity Detection in Black-Box Computational Functions

Peter Sharpe

主题： 机器学习 (cs.LG) ; 编程语言 (cs.PL)

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

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

标题： 一个计算匹配的重新评估在MATH上 显示英文标题

标题： A Compute-Matched Re-Evaluation of TroVE on MATH

Tobias Sesterhenn, Ian Berlot-Attwell, Janis Zenkner, Christian Bartelt

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

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

标题： TypyBench：评估LLM类型推断在无类型Python仓库中的效果 显示英文标题

标题： TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories

Honghua Dong, Jiacheng Yang, Xun Deng, Yuhe Jiang, Gennady Pekhimenko, Fan Long, Xujie Si

期刊参考： 第42届国际机器学习大会论文集，加拿大温哥华。PMLR 267，2025

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

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

标题： 企业 Protobuf 系统的自动化测试数据生成：一种增强型统计方法 显示英文标题

标题： Automated Test Data Generation for Enterprise Protobuf Systems: A Metaclass-Enhanced Statistical Approach

Y. Du

评论： 7页

主题： 软件工程 (cs.SE) ; 计算工程、金融与科学 (cs.CE) ; 编程语言 (cs.PL)

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

标题： 模糊测试：随机性？ 推理！ 通过大型语言模型进行高效的定向模糊测试 显示英文标题

标题： Fuzzing: Randomness? Reasoning! Efficient Directed Fuzzing via Large Language Models

Xiaotao Feng, Xiaogang Zhu, Kun Hu, Jincheng Wang, Yingjie Cao, Guang Gong, Jianfeng Pan

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