成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
编程语言
关注
2408
程序设计语言(
Programming Languages
)又称编程语言,是一组用来定义计算机程序的语法规则。
综合
百科
VIP
热门
动态
论文
精华
QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
Arxiv
0+阅读 · 11月1日
Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions
Arxiv
0+阅读 · 10月31日
Internalizing Extensions in Lattices of Type Theories
Arxiv
0+阅读 · 10月29日
Sockeye: a language for analyzing hardware documentation
Arxiv
0+阅读 · 10月31日
Semantic Properties of Computations Defined by Elementary Inference Systems
Arxiv
0+阅读 · 10月30日
QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
Arxiv
0+阅读 · 10月30日
CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
Arxiv
0+阅读 · 10月30日
Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
Arxiv
0+阅读 · 10月30日
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
Arxiv
0+阅读 · 10月29日
Fair intersection of seekable iterators
Arxiv
0+阅读 · 10月29日
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
Arxiv
0+阅读 · 10月29日
Generating Compilers for Qubit Mapping and Routing
Arxiv
0+阅读 · 10月29日
Finding Regular Herbrand Models for CHCs using Answer Set Programming
Arxiv
0+阅读 · 10月30日
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
Arxiv
0+阅读 · 10月29日
Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
Arxiv
0+阅读 · 10月28日
参考链接
子主题
Go 语言
Scala
SQL
Swift
ASP
MATLAB
JSON
MongoDB
C语言
VBScript
Ruby
DTD
正则表达式
PHP
Java
设计模式
Perl
JavaScript
Lua
C#
Redis
CSS
HTML
Leetcode
Python
Kotlin
XML
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top