المؤلفون: Denis, Xavier, Jourdan, Jacques-Henri, Marché, Claude

المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-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)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Inria Saclay - Île de France

المصدر: https://inria.hal.science/hal-03526634Test ; [Research Report] RR-9448, Inria Saclay - Île de France. 2021.

مصطلحات موضوعية: Rust programming language, Formal Specification, Deductive verification, Aliasing and Ownership, Prophecies, Traits, Langage de programmation Rust, Spécification formelle, Vérification Déductive, Alias, Ownership, Prophéties, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

العلاقة: Report N°: RR-9448; hal-03526634; https://inria.hal.science/hal-03526634Test; https://inria.hal.science/hal-03526634v2/documentTest; https://inria.hal.science/hal-03526634v2/file/report.pdfTest

الإتاحة: https://inria.hal.science/hal-03526634Test
https://inria.hal.science/hal-03526634v2/documentTest
https://inria.hal.science/hal-03526634v2/file/report.pdfTest

المؤلفون: Xavier Denis, Jacques-Henri Jourdan, Claude Marché

المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-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)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Inria Saclay - Île de France

المصدر: HAL
[Research Report] RR-9448, Inria Saclay-Île de France. 2021

مصطلحات موضوعية: Aliasing and Ownership, Vérification Déductive, Alias, Rust programming language, Formal Specification, Deductive verification, Ownership, Prophéties, Prophecies, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Spécification formelle, Traits, Langage de programmation Rust

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::89627f4c00223f4106e8a599f9060196Test
https://hal.inria.fr/hal-03526634Test