The rust language (original) (raw)
Information & Contributors
Information
Published In
ACM SIGAda Ada Letters Volume 34, Issue 3
HILT '14
December 2014
93 pages
HILT '14: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology
October 2014
116 pages
Copyright © 2014 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 18 October 2014
Published in SIGADA Volume 34, Issue 3
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations
- Downloads (Last 12 months)595
- Downloads (Last 6 weeks)92
Reflects downloads up to 25 Dec 2024
Other Metrics
Citations
- Lefeuvre MMartin MJay FMarsolier MBon C(2024)GRUPS-rs, a high-performance ancient DNA genetic relatedness estimation software relying on pedigree simulationsHuman Population Genetics and Genomics10.47248/hpgg2404010001(1-34)Online publication date: 4-Jan-2024
- Vandervelden TDe Smet RDeac DSteenhaut KBraeken A(2024)Overview of Embedded Rust Operating Systems and FrameworksSensors10.3390/s2417581824:17(5818)Online publication date: 7-Sep-2024
- Nachtigall NHouben ADronskowski R(2024)Multievent Correlation with Neutron Volume DetectorsQuantum Beam Science10.3390/qubs80400308:4(30)Online publication date: 28-Nov-2024
- Pustozerov EKulau UAlbrecht U(2024)Automated Heart Rate Detection in Seismocardiograms Using Electrocardiogram-Based Algorithms—A Feasibility StudyBioengineering10.3390/bioengineering1106059611:6(596)Online publication date: 11-Jun-2024
- De Coninck Q(2024)Core QUIC: Enabling Dynamic, Implementation-Agnostic Protocol Extensions2024 IFIP Networking Conference (IFIP Networking)10.23919/IFIPNetworking62109.2024.10619827(640-646)Online publication date: 3-Jun-2024
- Santiago KShrestha A(2024)DNA-protein quasi-mapping for rapid differential gene expression analysis in non-model organismsBMC Bioinformatics10.1186/s12859-024-05924-125:S2Online publication date: 24-Oct-2024
- Lattuada AHance TBosamiya JBrun MCho CLeBlanc HSrinivasan PAchermann RChajed THawblitzel CHowell JLorch JPadon OParno BWitchel EArpaci-Dusseau ARossbach CKeeton K(2024)Verus: A Practical Foundation for Systems VerificationProceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles10.1145/3694715.3695952(438-454)Online publication date: 4-Nov-2024
- Cui CFilkov VRay BZhou M(2024)Finding Performance Issues in Rust ProjectsProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695368(2423-2425)Online publication date: 27-Oct-2024
- Ando R(2024)A Cubic Barrier with Elasticity-Inclusive Dynamic StiffnessACM Transactions on Graphics10.1145/368790843:6(1-13)Online publication date: 19-Dec-2024
- Lorenzen AWhite LDolan SEisenberg RLindley S(2024)Oxidizing OCaml with Modal Memory ManagementProceedings of the ACM on Programming Languages10.1145/36746428:ICFP(485-514)Online publication date: 15-Aug-2024
- Show More Cited By
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Full Access
View options
View or Download as a PDF file.
eReader
View online with eReader.