Safe Systems Programming in Rust.
The article discuses the computer programming language known as Rust, developed by the firm Mozilla, and states that it is the first programming language to get past the traditional compromise between the safety of high-level computer languages and control over resource management enjoyed in low-lev...
| Publicado en: | Communications of the ACM Vol. 64; no. 4; pp. 144 - 153 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Apr2021
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=149459813&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 149459813 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Apr2021 vid: 64 iid: 4 pid: 68 pub: Association for Computing Machinery artinfo: ui: 149459813 10.1145/3418295 ppf: 144 ppct: 9 formats: tig: atl: Safe Systems Programming in Rust. aug: au: JUNG, RALF JOURDAN, JACQUES-HENRI KREBBERS, ROBBERT DREYER, DEREK affil: Postdoc at the Max Planck Institute for Software Systems, Germany Researcher at the Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, France Assistant professor at Radboud University Nijmegen, The Netherlands Professor at the Max Planck Institute for Software Systems, Germany su: Programming languages Computer security Resource management sug: subj: Programming languages Computer security Resource management ab: The article discuses the computer programming language known as Rust, developed by the firm Mozilla, and states that it is the first programming language to get past the traditional compromise between the safety of high-level computer languages and control over resource management enjoyed in low-level systems programming languages. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2021 holdings: @attributes: islocal: N |
|---|