Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen

Treffer 1 - 20 von 11.948

1

Automatically Translating C to Rust.
Hong, Jaemin ; Ryu, Sukyoung
Communications of the ACM. Nov2025, Vol. 68 Issue 11, p58-65. 8p.

Zeitschrift
Merkliste
2

Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors
Jiang, Renshuang ; Dong, Pan ; Duan, Zhenling ; et al.
2025 62nd ACM/IEEE Design Automation Conference (DAC) Design Automation Conference (DAC), 2025 62nd ACM/IEEE. :1-7 Jun, 2025

Konferenz
Merkliste
3

Should we use Rust Platform in our IoT Applications? A multivocal review
Petrillo, Fabio
2025 IEEE/ACM 7th International Workshop on Software Engineering Research & Practices for the IoT (SERP4IoT) SERP4IOT Software Engineering Research & Practices for the IoT (SERP4IoT), 2025 IEEE/ACM 7th International Workshop on. :24-31 Apr, 2025

Konferenz
Merkliste
4

SBD: Securing safe rust automatically from unsafe rust
Li, Shaowen ; Sato, Hiroyuiki
In Science of Computer Programming July 2025 243

Fachzeitschrift
Merkliste
5

Safe Systems Programming in Rust.
JUNG, RALF ; JOURDAN, JACQUES-HENRI ; KREBBERS, ROBBERT ; et al.
Communications of the ACM. Apr2021, Vol. 64 Issue 4, p144-152. 9p. 1 Color Photograph, 8 Diagrams.

Zeitschrift
Merkliste
6

Combining Forth and Rust: A Robust and Efficient Approach for Low-Level System Programming †.
Gupta, Priya ; Rahar, Ravi ; Yadav, Rahul Kumar ; et al.
Engineering Proceedings; 2023, Vol. 59 Issue 1, p54, 9p

PROGRAMMING languages MODERN languages MEMORY SIMPLICITY SAFETY
Fachzeitschrift
Merkliste
7

SafePass: A Rust-based Password Management Wallet Solution using Intel SGX.
Sonar, Abhijeet ; Wagle, Omkar ; Lonarkar, Aishwarya
International Scientific Journal of Engineering & Management; Sep2025, Vol. 4 Issue 9, p1-8, 8p

INTEL Corp. MULTI-factor authenticat... DATA encryption DATA security PASSWORD software PROGRAMMING languages
Fachzeitschrift
Merkliste
9

Explicit backbone curve prediction of corroded reinforced concrete columns using simulated annealing-optimized genetic programming
Wang, Le-Rong ; Liu, Qing-Feng ; Wu, Bo ; et al.
In Engineering Structures 15 July 2025 335

Fachzeitschrift
Merkliste
10

Rust: How to start coding your first apps.
Bolton, David
Linux Format; Mar2025, Issue 325, p94-97, 4p, 3 Diagrams

PROGRAMMING languages COMPOUND words TEXT files NOUNS SANITATION workers DEBUGGING
Zeitschrift
Merkliste
11

A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust.
PEARCE, DAVID J.
ACM Transactions on Programming Languages & Systems. Apr2021, Vol. 43 Issue 1, p1-73. 73p.

Fachzeitschrift
Merkliste
12

Combining Forth and Rust: A Robust and Efficient Approach for Low-Level System Programming
Priya Gupta ; Ravi Rahar ; Rahul Kumar Yadav ; et al.
Engineering Proceedings, Vol 59, Iss 1, p 54 (2023)

rust forth compiler memory safe stack-based Engineering machinery, t...
Fachzeitschrift
Merkliste
13

Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming.
Cui, Mohan ; Sun, Shuran ; Xu, Hui ; et al.
ICSE: International Conference on Software Engineering; 2024, p1-13, 13p

SOURCE code COMPUTER software CLUSTERING algorithms DATA structures LIBRARIES
Konferenz
Merkliste
14

The Rest of Rust: A Beginner's Gateway: Explore what Rust can do and find out that it is not as tough to learn as is made out to be...
Edamana, Nandakumar
Open Source For You; Nov2024, Vol. 13 Issue 1, p81-83, 3p

LEARNING curve SCHOOL day PROGRAMMING languages
Zeitschrift
Merkliste
15

Vibe Coding in Rust.
Thomason, Amy
Overload. Oct2025, Issue 189, p4-6. 3p.

Language models Code generators Chess Programming languages Computer software develo...
Zeitschrift
Merkliste
16

Comparative Analysis of Four Programming Languages for Machine Learning.
Hasan, Alaa Falah ; Jabbar, Saadya Fahad ; Raheem, Firas Saadallah
Ingénierie des Systèmes d'Information. Jun2025, Vol. 30 Issue 6, p1437-1445. 9p.

Fachzeitschrift
Merkliste
17

Thetis: A Booster for Building Safer Systems Using the Rust Programming Language.
Jiang, Renshuang ; Dong, Pan ; Ding, Yan ; et al.
Applied Sciences (2076-3417); Dec2023, Vol. 13 Issue 23, p12738, 21p

PROGRAMMING languages LIFE cycles (Biology) FEATURE extraction SYSTEM safety
Fachzeitschrift
Merkliste
18

The Complete Rust Programming Reference Guide
Sharma, Rahul ; Kaihlavirta, Vesa ; Matzinger, Claus ; et al.

E-Ressource
Merkliste
19

A Logical Approach to Type Soundness.
Timany, Amin ; Krebbers, Robbert ; Dreyer, Derek ; et al.
Journal of the ACM. Dec2024, Vol. 71 Issue 6, p1-75. 75p.

Fachzeitschrift
Merkliste
20

SEGUL: Ultrafast, memory‐efficient and mobile‐friendly software for manipulating and summarizing phylogenomic datasets.
Handika, Heru ; Esselstyn, Jacob A.
Molecular Ecology Resources; Oct2024, Vol. 24 Issue 7, p1-11, 11p

MOBILE operating systems GRAPHICAL user interface... PROGRAMMING languages
Fachzeitschrift
Merkliste

Filter