会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
Formal Foundations for Translational Separation Logic Verifiers (extended version)
Arxiv
0+阅读 · 12月20日
Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
Arxiv
0+阅读 · 12月20日
The State of Julia for Scientific Machine Learning
Arxiv
0+阅读 · 12月20日
Expressivity of AuDaLa: Turing Completeness and Possible Extensions
Arxiv
0+阅读 · 12月19日
Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
Arxiv
0+阅读 · 12月19日
Scaling Deep Learning Training with MPMD Pipeline Parallelism
Arxiv
0+阅读 · 12月18日
Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
Arxiv
0+阅读 · 12月19日
Relational Programming with Foundation Models
Arxiv
0+阅读 · 12月19日
Compiling C to Safe Rust, Formalized
Arxiv
0+阅读 · 12月19日
A flexible specification approach for verifying total correctness of fine-grained concurrent modules
Arxiv
0+阅读 · 12月19日
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
Arxiv
0+阅读 · 12月18日
Relaxed exception semantics for Arm-A (extended version)
Arxiv
0+阅读 · 12月19日
LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis
Arxiv
0+阅读 · 12月18日
Cage: Hardware-Accelerated Safe WebAssembly
Arxiv
0+阅读 · 12月19日
Implicit Rankings for Verifying Liveness Properties in First-Order Logic
Arxiv
0+阅读 · 12月18日
参考链接
子主题
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