-
1تقرير
المؤلفون: 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
-
2تقرير
المؤلفون: 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
-
3تقرير
المؤلفون: 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://hal.inria.fr/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://hal.inria.fr/hal-03526634Test; https://hal.inria.fr/hal-03526634v2/documentTest; https://hal.inria.fr/hal-03526634v2/file/report.pdfTest