会员服务
程序设计语言( Programming Languages )又称编程语言，是一组用来定义计算机程序的语法规则。
Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines
Arxiv
0+阅读 · 11月21日
Algebras for Deterministic Computation Are Inherently Incomplete
Arxiv
0+阅读 · 11月21日
Translating C To Rust: Lessons from a User Study
Arxiv
0+阅读 · 11月21日
A Calculus for Scoped Effects & Handlers
Arxiv
0+阅读 · 11月21日
Datalog with First-Class Facts
Arxiv
0+阅读 · 11月21日
Formal Simulation and Visualisation of Hybrid Programs
Arxiv
0+阅读 · 11月21日
Finite-Choice Logic Programming
Arxiv
0+阅读 · 11月21日
Escape with Your Self: A Solution to the Avoidance Problem with Decidable Bidirectional Typing for Reachability Types
Arxiv
0+阅读 · 11月21日
Typing Composite Subjects
Arxiv
0+阅读 · 11月20日
The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims
Arxiv
0+阅读 · 11月21日
SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
Arxiv
0+阅读 · 11月21日
CF-GKAT: Efficient Validation of Control-Flow Transformations
Arxiv
0+阅读 · 11月20日
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
Arxiv
0+阅读 · 11月20日
An Abstract Domain for Heap Commutativity
Arxiv
0+阅读 · 11月19日
Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
Arxiv
0+阅读 · 11月20日
参考链接
子主题
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