编程语言

最近提交的作者和标题

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

查看今天的 新的 变化

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

[26] 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)

[27] 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)

[28] 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)

[29] 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)

[30] 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 条目 )

[31] 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)

[32] 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)

[33] 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)

[34] 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)