会员服务
ACM关于编程语言和系统的交易（TOPLAS）是一本主要的期刊，用于报告编程语言和系统中协助编程任务的最新研究进展。官网地址: http://dblp.uni-trier.de/db/journals/toplas/
Singularly Near Optimal Leader Election in Asynchronous Networks
Arxiv
0+阅读 · 2021年8月9日
Singularly Near Optimal Leader Election in Asynchronous Networks
Singularly Near Optimal Leader Election in Asynchronous Networks
Arxiv
0+阅读 · 2021年8月4日
FSE/CACM Rebuttal$^2$: Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub
FSE/CACM Rebuttal$^2$: Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub
Arxiv
0+阅读 · 2019年11月27日
Rebuttal to Berger et al., TOPLAS 2019
Rebuttal to Berger et al., TOPLAS 2019
Arxiv
0+阅读 · 2019年11月18日
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details
Arxiv
0+阅读 · 2019年2月14日
参考链接
父主题
软件工程
程序设计语言
ACM
微信扫码咨询专知VIP会员
Top