Search Results - Rust Programming By Example

The results list cannot be displayed in full to guest users. Please log in for full access: Login

RUST PROGRAMMING BY EXAMPLE.
ANTONI BOUCHER ; GUILLAUME GOMEZ ; SEBASTIAN DROGE ; et al.

eBook

check availability

Sound Borrow-Checking for Rust via Symbolic Semantics
Ho, Son ; Fromherz, Aymeric ; Protzenko, Jonathan ; et al.
Proceedings of the ACM on Programming Languages. :426-454

Rust Verification Semant... Rust Verification Semantics [INFO.INFO-PL]Computer S... Programming Languages [c...

Journal

access fulltext from HAL

Rust Programming By Example
Gomez, Guillaume ; Boucher, Antoni ; Gomez, Guillaume ; et al.

Electronic Resource

detailed record via OAIster

This result is not available to guest users.
Login for full access.

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
Ho, Son ; Fromherz, Aymeric ; Protzenko, Jonathan

Computer Science - Progr...

Report

detailed record from Arxiv

Verus: Verifying Rust Programs using Linear Ghost Types (extended version)
Lattuada, Andrea ; Hance, Travis ; Cho, Chanhee ; et al.

Computer Science - Logic... Computer Science - Progr...

Report

detailed record from Arxiv

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
Andrès, Léo ; Marques, Filipe ; Carcano, Arthur ; et al.
The Art. 9(2)

Bug Finding Symbolic execution Owi Wasm WebAssembly Parallel …

Journal

access fulltext from HAL

Rust Programming By Example
Guillaume Gomez ; Antoni Boucher ; Guillaume Gomez ; et al.
2018

Electronic Resource

detailed record via OAIster

Rust Programming By Example
Guillaume Gomez ; Antoni Boucher ; Guillaume Gomez ; et al.
2018

Electronic Resource

detailed record via OAIster

Rust Programming By Example
Guillaume Gomez ; Antoni Boucher ; Guillaume Gomez ; et al.
2018

Electronic Resource

detailed record via OAIster

Rust Programming By Example
Guillaume Gomez ; Antoni Boucher ; Guillaume Gomez ; et al.
2018

Electronic Resource

detailed record via OAIster

Development of a course on learning the Rust programming language and its usage in developing DApps using Substrate framework

Electronic Resource

detailed record via OAIster

Smart contract languages: A comparative analysis
Bartoletti, Massimo ; Benetollo, Lorenzo ; Bugliesi, Michele ; et al.
In Future Generation Computer Systems March 2025 164

Academic journal

access fulltext via DOI

Vérification déductive de programmes Rust
Deductive verification of Rust programs
Denis, Xavier ; Laboratoire Méthodes Formelles (LMF) ; Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay) ; et al.
Programming Languages [cs.PL]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG101⟩

Closures Rust Ownership Verification Iterators Clôtures …

Dissertation/ Thesis