会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
Wink: Recovering from Misbehaviors in Coding Agents
Arxiv
0+阅读 · 2月19日
Haskell meets Evariste
Arxiv
0+阅读 · 2月18日
Mason: Type- and Name-Guided Program Synthesis
Arxiv
0+阅读 · 2月19日
A Reversible Semantics for Janus
Arxiv
0+阅读 · 2月18日
Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
Arxiv
0+阅读 · 2月17日
Synthesis and Verification of Transformer Programs
Arxiv
0+阅读 · 2月18日
Towards Cumulative Abstract Semantics via Handlers
Arxiv
0+阅读 · 2月17日
Not All Tokens Matter: Data-Centric Optimization for Efficient Code Summarization
Arxiv
0+阅读 · 2月17日
A Calculus of Overlays
Arxiv
0+阅读 · 2月18日
E-Graphs as a Persistent Compiler Abstraction
Arxiv
0+阅读 · 2月18日
The Coordination Criterion
Arxiv
0+阅读 · 2月17日
Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
Arxiv
0+阅读 · 2月17日
Synthesizing Trajectory Queries from Examples
Arxiv
0+阅读 · 2月16日
Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
Arxiv
0+阅读 · 2月16日
An Empirical Study on the Effects of System Prompts in Instruction-Tuned Models for Code Generation
Arxiv
0+阅读 · 2月16日
参考链接
微信扫码咨询专知VIP会员
Top