logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

EXERCISE IN PROVING PARALLEL PROGRAMS CORRECT

delete1977-12-01
delete49
delete
OA
AI
D
David Gries
DOI：10.1145/359897.359903delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En
AI总结

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Communications of the ACM 封面图
Communications of the ACM
IF:
12.2
论文数:
1.2W
被引数:
3.7W

机构

暂无机构信息
引用论文

引用论文

Intramolecular Electron-Transfer Studies as a Function of Bridge Topology: The Importance of Solvent-Mediated Donor-Acceptor Electronic Coupling
errCHIMIA
IF0
err1997-03-26
err0
errOAAI
errMatthew B. Zimmt
err分享
err收藏
MULTIPROCESSING COMPACTIFYING GARBAGE COLLECTION
errCOMMUNICATIONS OF THE ACM
IF12.2
err1975-09-01
err138
errOAAI
errSTEELE, GL
err分享
err收藏
AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING
errCOMMUNICATIONS OF THE ACM
IF12.2
err1969-10-01
err2.7K
errOAAI
errHOARE, CAR
err分享
err收藏
GUARDED COMMANDS, NONDETERMINACY AND FORMAL DERIVATION OF PROGRAMS
errCOMMUNICATIONS OF THE ACM
IF12.2
err1975-08-01
err974
errOAAI
errDIJKSTRA, EW
err分享
err收藏
EXERCISE IN PROVING PARALLEL PROGRAMS CORRECT
errCOMMUNICATIONS OF THE ACM
IF12.2
err1977-12-01
err49
errOAAI
errGRIES, D
err分享
err收藏