Safe Systems Programming in Rust

Ralf Jung

doi:10.1145/3418295

2021-03-22

Ralf Jung *

Jacques-Henri Jourdan

Robbert Krebbers

Derek Dreyer

DOI：10.1145/3418295

原文链接

查看原文

摘要

AI总结

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

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

centre national de la recherche scientifique (cnrs)

学者数:

24.5W

论文数: 18.2W

被引数: 279

Université Paris Saclay

学者数:

445

论文数: 205

被引数: 0

Max Planck Society

学者数:

273

论文数: 106

被引数: 0

查看更多机构

引用论文

Sensitivity of SC-HTGR Conduction Cooldown to Reactor Cavity Cooling System Failure

Nuclear Technology

IF0

2021-10-13

OAAI

Brian Mays; Lewis Lommers; Stacy Yoder; Farshid Shahrokhi

Quantification of climatic niches in birds: adding the temporal dimension

Journal of Avian Biology

IF0

2017-09-13

OAAI

Alison Eyres; Katrin Böhning‐Gaese; Susanne A. Fritz

Compressed Air Discharge from a Blowing Unit

The Open Mechanical Engineering Journal

IF0

2009-01-27

OAAI

G. L. Antinori; M. Spiga

A new jeholornithiform exhibits the earliest appearance of the fused sternum and pelvis in the evolution of avialan dinosaurs

Journal of Asian Earth Sciences

IF0

2020-09-01

PREAI

Xuri Wang; Jiandong Huang; Martin Kundrát; Andrea Cau; Xiaoyu Liu; Yang Wang; Shubin Ju

1H-imidazol-3-ium tricyanomethanide {[HIM]C(CN)3} as a nanostructured molten salt catalyst: application to the synthesis of pyrano[4,3‐b]pyrans

Research on Chemical Intermediates

IF0

2017-01-04

OAAI

Mohammad Ali Zolfigol; Meysam Yarie; Saeed Baghery; Abbas Khoshnood; Diego A. Alonso

Synthesis of new aromatic phosphoramidates under a three-component reaction

Phosphorus, Sulfur, and Silicon and the Related Elements

IF0

2022-03-31

PREAI

Mónica I. García-Aranda; Marco Franco-Pérez; Israel Bonilla-Landa; José Luis Castrejón-Flores; Angel Zamudio-Medina

AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING

COMMUNICATIONS OF THE ACM

IF12.2

1969-10-01

2.7K

OAAI

HOARE, CAR

Formation of fish kills and anaerobic conditions in the Sea of Azov

Water Resources

IF0

2005-03-01

PREAI

E. I. Debol?skaya; E. V. Yakushev; A. I. Sukhinov

Rate constant for H+O2→O+OH by laser absorption spectroscopy of OH in shock-heated H2-O2-Ar mixtures

Chemical Physics Letters

IF0

1988-10-01

PREAI

Nobuyuki Fujii; Kuan S. Shin

Numerical Simulations of a Lifted Hydrogen Jet Flame Using Flamelet Generated Manifold Approach

Journal of Engineering for Gas Turbines and Power

IF0

2022-08-16

PREAI

Yu Xia; Ishan Verma; Pravin Nakod; Rakesh Yadav; Stefano Orsino; Shaoping Li

查看更多内容