会员服务
On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
Arxiv
0+阅读 · 2月10日
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
Arxiv
0+阅读 · 2月6日
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
Arxiv
0+阅读 · 2月11日
GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
Arxiv
0+阅读 · 2月8日
Sense and Sensitivity: Examining the Influence of Semantic Recall on Long Context Code Reasoning
Arxiv
0+阅读 · 1月22日
Structural Operational Semantics for True Concurrency
Arxiv
0+阅读 · 1月24日
A Refined Operational Semantics for FreeCHR
Arxiv
0+阅读 · 1月7日
The Functional Machine Calculus III: Control
Arxiv
0+阅读 · 1月2日
Operational semantics and program verification using many-sorted hybrid modal logic
Arxiv
0+阅读 · 2025年11月27日
Operational semantics and program verification using many-sorted hybrid modal logic
Arxiv
0+阅读 · 2025年11月23日
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)
Arxiv
0+阅读 · 2023年4月21日
A Calculus for Scoped Effects & Handlers
Arxiv
0+阅读 · 2023年4月21日
A Calculus for Scoped Effects & Handlers
Arxiv
0+阅读 · 2023年4月19日
Smart Choices and the Selection Monad
Arxiv
0+阅读 · 2023年4月19日
A coherent differential PCF
Arxiv
0+阅读 · 2023年4月18日
参考链接
微信扫码咨询专知VIP会员
Top