会员服务
编程语言原理研讨会讨论了编程语言、编程系统和编程接口的设计、定义、分析和实现方面的基本原理和重要创新。 官网链接：http://www.sigplan.org/Conferences/POPL/
The Way We Were: Structural Operational Semantics Research in Perspective
Arxiv
0+阅读 · 2023年9月13日
Quantum Relational Hoare Logic with Expectations
Arxiv
0+阅读 · 2021年7月12日
Local Variables and Quantum Relational Hoare Logic
Arxiv
0+阅读 · 2020年7月28日
Quantum Relational Hoare Logic with Expectations
Arxiv
0+阅读 · 2019年3月20日
StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details
Arxiv
0+阅读 · 2018年11月7日
Theory of Singlet Fission in Polyenes, Acene Crystals and Covalently Linked Acene Dimers
Arxiv
0+阅读 · 2015年4月2日
The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach
Arxiv
0+阅读 · 2016年9月30日
Very Static Enforcement of Dynamic Policies
Arxiv
0+阅读 · 2015年1月12日
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
Arxiv
0+阅读 · 2017年2月28日
参考链接
父主题
软件工程
程序设计语言
ACM
微信扫码咨询专知VIP会员
Top