编程语言

最近提交的作者和标题

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

查看今天的 新的 变化

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

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

标题： 第14届国际教育功能编程趋势研讨会论文集 显示英文标题

标题： Proceedings 14th International Workshop on Trends in Functional Programming in Education

Rose Bohrer (AIST, Tokyo, JP)

期刊参考： EPTCS 424，2025

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

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

标题： 通过类型状态编程高效编译和执行同步程序 显示英文标题

标题： Efficient compilation and execution of synchronous programs via type-state programming

Avinash Malik

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

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

标题： 无控制流图的流敏感性：一种高效的安德森风格流敏感指针分析 显示英文标题

标题： Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis

Jiahao Zhang, Xiao Cheng, Yuxiang Lei

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

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

标题： 学术氛围编码：在资源约束时代加速研究的机会 显示英文标题

标题： Academic Vibe Coding: Opportunities for Accelerating Research in an Era of Resource Constraint

Matthew G Crowson, Leo Celi A. Celi

主题： 计算机与社会 (cs.CY) ; 人工智能 (cs.AI) ; 编程语言 (cs.PL) ; 软件工程 (cs.SE)

2025年08月04日， 星期一 (展示 10 之 10 条目 )

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

标题： 面向统一的编程范式框架：分类形式化和方法论基础的系统综述 显示英文标题

标题： Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations

Mikel Vandeloise

评论： 2025年7月29日提交至《对象技术杂志》的预印本。数据在同行评审完成前可根据要求提供

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

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

标题： Erlang中映射的语义子类型化 显示英文标题

标题： Semantic Subtyping for Maps in Erlang

Erdem Yildirim, Albert Schimpf, Stefan Wehr, Annette Bieniusa

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

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

标题： 使用大型语言模型的Python自动类型注释 显示英文标题

标题： Automated Type Annotation in Python Using Large Language Models

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

评论： 待审核

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

标题： 可组合的效果处理用于编程集成LLM的脚本 显示英文标题

标题： Composable Effect Handling for Programming LLM-integrated Scripts

Di Wang

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

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

标题： 面向定点的编程：一种简洁而优雅的范式 显示英文标题

标题： Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm

Yong Qi Foo, Brian Sze-Kai Cheong, Michael D. Adams

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

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

标题： 解开兰丁纽结的一个奇特技巧 显示英文标题

标题： One Weird Trick to Untie Landin's Knot

Paulette Koronkevich, William J. Bowman

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