编程语言

最近提交的作者和标题

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

查看今天的 新的 变化

2025年08月06日， 星期三 (展示 11 之 11 条目 )

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

标题： 使用Haskelite教授入门函数式编程 显示英文标题

标题： Teaching Introductory Functional Programming Using Haskelite

Pedro Vasconcelos (University of Porto)

评论： 在TFPiE 2025会议论文集中，arXiv:2508.02305

期刊参考： EPTCS 424，2025，第49-66页

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

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

标题： SAGE-HLS：语法感知的AST引导的LLM用于高级综合代码生成 显示英文标题

标题： SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation

M Zafir Sadik Khan, Nowfel Mashnoor, Mohammad Akyash, Kimia Azar, Hadi Kamali

评论： 被IEEE计算机设计国际会议（ICCD 2025）接受

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

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

标题： Qunity中高效的组合量子控制流 显示英文标题

标题： Compositional Quantum Control Flow with Efficient Compilation in Qunity

Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, Robert Rand

评论： 88页，30图

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

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

标题： 比分数更重要：探究提示具体性对LLM代码生成的影响 显示英文标题

标题： More Than a Score: Probing the Impact of Prompt Specificity on LLM Code Generation

Yangtian Zi, Harshitha Menon, Arjun Guha

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

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

标题： 视觉执行与有限状态机和下推自动机的验证 显示英文标题

标题： Visual Execution and Validation of Finite-State Machines and Pushdown Automata

Marco T. Morazán (Seton Hall University), David Anthony K. Fields (Seton Hall University), Andrés M. Garced (Seton Hall University), Tijana Minić (University of Washington)

评论： 在《TFPiE 2025论文集》中，arXiv:2508.02305

期刊参考： EPTCS 424，2025年，第87-108页

主题： 形式语言与自动机理论 (cs.FL) ; 人机交互 (cs.HC) ; 编程语言 (cs.PL) ; 软件工程 (cs.SE)

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

标题： 一种正则表达式的设计配方及基于配方的错误 显示英文标题

标题： A Design Recipe and Recipe-Based Errors for Regular Expressions

Marco T. Morazán (Seton Hall University), Shamil Dzhatdoyev (Axoni, USA), Josephine Des Rosiers (Penguin Random House), Tijana Minić (University of Washington), Andrés M. Garced (Seton Hall University), David Anthony K. Fields (Seton Hall University)

评论： 在《TFPiE 2025论文集》中，arXiv:2508.02305

期刊参考： EPTCS 424，2025，第25-48页

主题： 形式语言与自动机理论 (cs.FL) ; 人机交互 (cs.HC) ; 编程语言 (cs.PL) ; 软件工程 (cs.SE)

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

标题： 多带图灵机的设计支持 显示英文标题

标题： Design Support for Multitape Turing Machines

Marco T. Morazán (Seton Hall University), Oliwia Kempinski (University of Maryland), Andrés M. Garced (Seton Hall University)

评论： 在《TFPiE 2025论文集》中，arXiv:2508.02305

期刊参考： EPTCS 424，2025，第1-24页

主题： 形式语言与自动机理论 (cs.FL) ; 人机交互 (cs.HC) ; 编程语言 (cs.PL) ; 软件工程 (cs.SE)

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

标题： ReFuzzer：一种增强LLM生成测试程序有效性的反馈驱动方法 显示英文标题

标题： ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs

Iti Shree, Karine Even-Mendoz, Tomasz Radzik

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

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

标题： StoneDetector：Java的常规和通用代码克隆检测 显示英文标题

标题： StoneDetector: Conventional and versatile code clone detection for Java

Thomas S. Heinze, André Schäfer, Wolfram Amme

评论： 补充信息可在以下网址获取 https://stonedetector.fmi.uni-jena.de/

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

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

标题： C/C++静态分析警报的自动化代码修复 显示英文标题

标题： Automated Code Repair for C/C++ Static Analysis Alerts

David Svoboda, Lori Flynn, William Klieber, Michael Duggan, Nicholas Reimer, Joseph Sible

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

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

标题： 蓝图优先，模型其次：确定性大语言模型工作流框架 显示英文标题

标题： Blueprint First, Model Second: A Framework for Deterministic LLM Workflow

Libin Qiu, Yuhang Ye, Zhirong Gao, Xide Zou, Junfu Chen, Ziming Gui, Weizhi Huang, Xiaobo Xue, Wenkai Qiu, Kun Zhao

评论： 8页，6图，3表

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

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

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

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

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

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

Avinash Malik

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

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

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

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

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

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

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