会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
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会员
Top