会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
Deciding Serializability in Network Systems
Arxiv
0+阅读 · 1月6日
Proceedings 16th International Workshop on Graph Computation Models
Arxiv
0+阅读 · 1月6日
FSLH: Flexible Mechanized Speculative Load Hardening
Arxiv
0+阅读 · 1月6日
Backwards Data-Flow Analysis using Prophecy Variable in the BuildIt System
Arxiv
0+阅读 · 1月6日
Compressed code: the hidden effects of quantization and distillation on programming tokens
Arxiv
0+阅读 · 1月5日
Asynchronous Global Protocols, Precisely: Full Proofs
Arxiv
0+阅读 · 1月6日
Deciding Serializability in Network Systems
Arxiv
0+阅读 · 1月5日
The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
Arxiv
0+阅读 · 1月5日
MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
Arxiv
0+阅读 · 1月5日
Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
Arxiv
0+阅读 · 1月5日
The Invisible Hand of AI Libraries Shaping Open Source Projects and Communities
Arxiv
0+阅读 · 1月5日
The Functional Machine Calculus III: Control
Arxiv
0+阅读 · 1月2日
Piecewise Analysis of Probabilistic Programs via $k$-Induction
Arxiv
0+阅读 · 1月2日
Strong Dinatural Transformations and Generalised Codensity Monads
Arxiv
0+阅读 · 1月2日
Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
Arxiv
0+阅读 · 1月2日
参考链接
微信扫码咨询专知VIP会员
Top