jagomart
digital resources
picture1_Programming Pdf 184067 | Paper Item Download 2023-02-01 02-06-02


picture2_Programming Pdf 184067 | Paper Item Download 2023-02-01 02-06-02 picture3_Programming Pdf 184067 | Paper Item Download 2023-02-01 02-06-02

 108x       Filetype PDF       File size 0.52 MB       Source: people.mpi-sws.org


File: Programming Pdf 184067 | Paper Item Download 2023-02-01 02-06-02
RustBelt: Securing the Foundations of the Rust ProgrammingLanguage RALFJUNG,MPI-SWS,Germany 66 JACQUES-HENRIJOURDAN,MPI-SWS,Germany ROBBERTKREBBERS,DelftUniversityofTechnology,TheNetherlands DEREKDREYER,MPI-SWS,Germany Rust is a new systems programming language that promises ...

icon picture PDF Filetype PDF | Posted on 01 Feb 2023 | 2 years ago
Partial capture of text on file.

						
									
										
									
																
													
					
The words contained in this file might help you see if this file matches what you are looking for:

...Rustbelt securing the foundations of rust programminglanguage ralfjung mpi sws germany jacques henrijourdan robbertkrebbers delftuniversityoftechnology thenetherlands derekdreyer is a new systems programming language that promises to overcome seemingly fundamental tradeoff between high level safety guarantees and low control over resource management unfortunately none s claims have been formally proven there good reason question whether they actually hold specifically employs strong ownership based type system but then extends expressive power this core through libraries internally use unsafe features in paper we give first formal machine checked proof for representing realistic subset our extensible sense each library uses can say what verification condition it must satisfy order be deemed safe extension carried out some most important are used throughout ecosystem ccsconcepts theoryofcomputation programminglogic separationlogic operationalsemantics additional key words phrases separa...
Haven't found the file you're looking for? You can try sending a request file
Comment

no comments yet
Please Login to post a comment.

no reviews yet
Please Login to review.