会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Arxiv
0+阅读 · 4月21日
Towards a high-performance AI compiler with upstream MLIR
Arxiv
0+阅读 · 4月15日
Demystifying Invariant Effectiveness for Securing Smart Contracts
Arxiv
0+阅读 · 4月22日
AuDaLa is Turing Complete
Arxiv
0+阅读 · 4月22日
AuDaLa is Turing Complete
Arxiv
0+阅读 · 4月19日
Customizing Static Analysis using Codesearch
Arxiv
0+阅读 · 4月19日
An Encoding for CLP Problems in SMT-LIB
Arxiv
0+阅读 · 4月23日
Assessing GPT-4-Vision's Capabilities in UML-Based Code Generation
Arxiv
0+阅读 · 4月22日
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
Arxiv
0+阅读 · 4月23日
Hybrid Intersection Types for PCF (Extended Version)
Arxiv
0+阅读 · 4月22日
Declarative Concurrent Data Structures
Arxiv
0+阅读 · 4月20日
Resource Specifications for Resource-Manipulating Programs
Arxiv
0+阅读 · 4月18日
Qwerty: A Basis-Oriented Quantum Programming Language
Arxiv
0+阅读 · 4月19日
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Arxiv
0+阅读 · 4月22日
Encoding Petri Nets into CCS (Technical Report)
Arxiv
0+阅读 · 4月22日
参考链接
子主题
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