会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
Types, equations, dimensions and the Pi theorem
Arxiv
0+阅读 · 10月9日
The Functional Machine Calculus III: Control
Arxiv
0+阅读 · 10月9日
Modeling Reachability Types with Logical Relations
Arxiv
0+阅读 · 10月8日
Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
Arxiv
0+阅读 · 10月8日
Lessons Learned So Far From Verifying the Rust Standard Library (work-in-progress)
Arxiv
0+阅读 · 10月8日
VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
Arxiv
0+阅读 · 10月7日
A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
Arxiv
0+阅读 · 10月8日
Strong Dinatural Transformations and Generalised Codensity Monads
Arxiv
0+阅读 · 10月8日
Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
Arxiv
0+阅读 · 10月7日
Automated Discovery of Test Oracles for Database Management Systems Using LLMs
Arxiv
0+阅读 · 10月8日
Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
Arxiv
0+阅读 · 10月8日
Weak-Linear Types
Arxiv
0+阅读 · 10月8日
Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
Arxiv
0+阅读 · 10月6日
A Two-Level Linear Dependent Type Theory
Arxiv
0+阅读 · 10月6日
Optimization Modeling via Semantic Anchored Alignment
Arxiv
0+阅读 · 9月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