会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
Big-step and small-step Horn clause derivations applied to operational semantics
Arxiv
0+阅读 · 6月18日
ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
Arxiv
0+阅读 · 6月22日
Cyclic Graphs and Memoization in Pure $λ$-Calculus
Arxiv
0+阅读 · 6月22日
ESBMC-PLC+: A Unified IEC~61131-3 Formal Verification Framework as a PLCverif Successor
Arxiv
0+阅读 · 6月22日
Types, equations, dimensions and the Pi theorem
Arxiv
0+阅读 · 6月22日
Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
Arxiv
0+阅读 · 6月23日
Look Before You Leap: Checking In on Type Tag Checking
Arxiv
0+阅读 · 6月18日
A Compositional Language for Property Graphs
Arxiv
0+阅读 · 6月22日
AI-Assisted Completion of CertiGC Proofs: An Experience Report
Arxiv
0+阅读 · 6月19日
SemChunk-C: Semantic Segmentation for C Code
Arxiv
0+阅读 · 5月12日
Behind Python: The Languages That Power AI
Arxiv
0+阅读 · 6月16日
KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base
Arxiv
0+阅读 · 6月19日
Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams
Arxiv
0+阅读 · 6月16日
QDSV: A Semantic Problem Representation and Multi-Backend Execution Framework for Quantum-Oriented Computation
Arxiv
0+阅读 · 6月17日
The Alignment Problem in Constrained Code Generation
Arxiv
0+阅读 · 6月19日
参考链接
微信扫码咨询专知VIP会员
Top