文献互助智能选刊最新文献

高级搜索发布求助登录注册

首页 > 期刊列表> Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

浏览量

1191

微信好友朋友圈 QQ好友复制链接

查看最新文献

查看最新文献

同类期刊

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

发文信息

同类期刊

Proceedings of the IRE

Proceedings of the IRE

PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON BIOSCIENCE, BIOTECHNOLOGY, AND BIOMETRICS 2019

PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON BIOSCIENCE, BIOTECHNOLOGY, AND BIOMETRICS 2019

Proceedings of the Second ACM Workshop on Moving Target Defense

Proceedings of the Second ACM Workshop on Moving Target Defense

PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON BIOSCIENCES AND MEDICAL ENGINEERING (ICBME2019): Towards innovative research and cross-disciplinary collaborations

PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON BIOSCIENCES AND MEDICAL ENGINEERING (ICBME2019): Towards innovative research and cross-disciplinary collaborations

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation

PROCEEDINGS OF THE III INTERNATIONAL CONFERENCE ON ADVANCED TECHNOLOGIES IN MATERIALS SCIENCE, MECHANICAL AND AUTOMATION ENGINEERING: MIP: Engineering-III – 2021

PROCEEDINGS OF THE III INTERNATIONAL CONFERENCE ON ADVANCED TECHNOLOGIES IN MATERIALS SCIENCE, MECHANICAL AND AUTOMATION ENGINEERING: MIP: Engineering-III – 2021

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation - 最新文献

Decidable verification under a causally consistent shared memory

Pub Date : 2020-06-11 DOI: 10.1145/3385412.3385966 O. Lahav, Udi Boker

Learning fast and precise numerical analysis

Pub Date : 2020-06-11 DOI: 10.1145/3385412.3386016 Jingxuan He, Gagandeep Singh, Markus Püschel, Martin T. Vechev

PMThreads: persistent memory threads harnessing versioned shadow copies

Pub Date : 2020-06-11 DOI: 10.1145/3385412.3386000 Zhenwei Wu, Kai Lu, A. Nisbet, Wen-zhe Zhang, M. Luján

免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。

微信

客服QQ

Book学术公众号

扫码关注我们

反馈

Book学术官方微信

Book学术文献互助

Book学术文献互助群
群号：481959085

文献互助智能选刊最新文献互助须知联系我们：info@booksci.cn

Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。

Copyright © 2023 Book学术 All rights reserved.

京公网安备 11010802042870号京ICP备2023020795号-1