-
- Ralf Jung
- Max Planck Institute for Software Systems, Germany
-
- Jacques-Henri Jourdan
- Université Paris-Saclay, CNRS, ENS Paris-Saclay
-
- Robbert Krebbers
- Radboud University Nijmegen, The Netherlands
-
- Derek Dreyer
- Max Planck Institute for Software Systems, Germany
説明
<jats:p>The promise and the challenges of the first industry-supported language to master the trade-off between safety and control.</jats:p>
収録刊行物
-
- Communications of the ACM
-
Communications of the ACM 64 (4), 144-152, 2021-03-22
Association for Computing Machinery (ACM)
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1360294663198191360
-
- DOI
- 10.1145/3418295
-
- ISSN
- 15577317
- 00010782
-
- データソース種別
-
- Crossref
