会员服务
Generating Rely-Guarantee Conditions with the Conditional-Writes Domain
Arxiv
0+阅读 · 2月19日
Object-Oriented Transition Modeling with Inductive Logic Programming
Arxiv
0+阅读 · 2月7日
Probabilistic Linear Logic Programming with an application to Bayesian Networks computations
Arxiv
0+阅读 · 1月19日
Computing Supported Models via Transformation to Stable Models
Arxiv
0+阅读 · 1月28日
Logic Programming with Extensible Types
Arxiv
0+阅读 · 1月7日
Anota: Identifying Business Logic Vulnerabilities via Annotation-Based Sanitization
Arxiv
0+阅读 · 2025年12月25日
Anota: Identifying Business Logic Vulnerabilities via Annotation-Based Sanitization
Arxiv
0+阅读 · 2025年12月23日
Choreographic Programming of Isolated Transactions
Arxiv
0+阅读 · 2023年4月13日
A Reinforcement Learning-assisted Genetic Programming Algorithm for Team Formation Problem Considering Person-Job Matching
Arxiv
0+阅读 · 2023年4月8日
参考链接
微信扫码咨询专知VIP会员
Top