المؤلفون: Pottier, François, Guéneau, Armaël, Jourdan, Jacques-Henri, Mével, Glen

المساهمون: Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, 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), 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), Centre National de la Recherche Scientifique (CNRS), SIGPLAN

المصدر: Proceedings of the ACM ; POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.science/hal-04238691Test ; POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages, SIGPLAN, Jan 2024, Londres, United Kingdom ; popl24.sigplan.org

مصطلحات موضوعية: Program verification, Separation logic, Time complexity, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Londres, United Kingdom

العلاقة: hal-04238691; https://hal.science/hal-04238691Test; https://hal.science/hal-04238691v2/documentTest; https://hal.science/hal-04238691v2/file/main.pdfTest

الإتاحة: https://hal.science/hal-04238691Test
https://hal.science/hal-04238691v2/documentTest
https://hal.science/hal-04238691v2/file/main.pdfTest

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

المساهمون: 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), 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), Centre National de la Recherche Scientifique (CNRS), ETAPS, Sriram Sankaranarayanan, Natasha Sharygina

المصدر: Tools and Algorithms for the Construction and Analysis of Systems (TACAS) ; https://hal.science/hal-03827702Test ; Tools and Algorithms for the Construction and Analysis of Systems (TACAS), ETAPS, Apr 2023, Paris, France. pp.93-110, ⟨10.1007/978-3-031-30820-8_9⟩ ; https://www.etaps.org/2023Test/

مصطلحات موضوعية: Rust, Deductive verification, Iterators, Closures, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO]Computer Science [cs], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Paris, France

العلاقة: hal-03827702; https://hal.science/hal-03827702Test; https://hal.science/hal-03827702v2/documentTest; https://hal.science/hal-03827702v2/file/main.pdfTest

الإتاحة: https://doi.org/10.1007/978-3-031-30820-8_9Test
https://hal.science/hal-03827702Test
https://hal.science/hal-03827702v2/documentTest
https://hal.science/hal-03827702v2/file/main.pdfTest

المؤلفون: Jourdan, Jacques-Henri

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Data Structures and Algorithms, Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1612.00277Test

المؤلفون: Matsushita, Yusuke, Denis, Xavier, Jourdan, Jacques-Henri, Dreyer, Derek

المساهمون: Tokyo University of Science Tokyo, 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), 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), Max Planck Institute for Software Systems (MPI-SWS), European Project: 683289,H2020,ERC-2015-CoG,RustBelt(2016)

المصدر: PLDI 2022 - 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ; https://inria.hal.science/hal-03777103Test ; PLDI 2022 - 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, San Diego CA USA, United States. pp.841-856, ⟨10.1145/3519939.3523704⟩

مصطلحات موضوعية: CCS Concepts: • Theory of computation → Programming logic, Separation logic, Type theory Rust, verification, type systems, prophecy variables, Iris, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: San Diego CA USA, United States

العلاقة: info:eu-repo/grantAgreement//683289/EU/Logical Foundations for the Future of Safe Systems Programming/RustBelt; hal-03777103; https://inria.hal.science/hal-03777103Test; https://inria.hal.science/hal-03777103/documentTest; https://inria.hal.science/hal-03777103/file/3519939.3523704.pdfTest

الإتاحة: https://doi.org/10.1145/3519939.3523704Test
https://inria.hal.science/hal-03777103Test
https://inria.hal.science/hal-03777103/documentTest
https://inria.hal.science/hal-03777103/file/3519939.3523704.pdfTest

المؤلفون: 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), 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)

المصدر: ICFEM 2022 - 23th International Conference on Formal Engineering Methods ; https://hal.inria.fr/hal-03737878Test ; ICFEM 2022 - 23th International Conference on Formal Engineering Methods, Oct 2022, Madrid, Spain

مصطلحات موضوعية: Rust programming language, Deductive program verification, Aliasing and Ownership, Prophecies, Traits, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Spain

الوقت: Madrid, Spain

العلاقة: hal-03737878; https://hal.inria.fr/hal-03737878Test; https://hal.inria.fr/hal-03737878/documentTest; https://hal.inria.fr/hal-03737878/file/main.pdfTest

الإتاحة: https://hal.inria.fr/hal-03737878Test
https://hal.inria.fr/hal-03737878/documentTest
https://hal.inria.fr/hal-03737878/file/main.pdfTest

المؤلفون: Braibant, Thomas, Jourdan, Jacques-Henri, Monniaux, David

المصدر: Journal of Automated Reasoning, Springer Verlag (Germany), 2014, 53 (3), pp.271-304

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Data Structures and Algorithms

الوصول الحر: http://arxiv.org/abs/1311.2959Test

المؤلفون: Mével, Glen, Jourdan, Jacques-Henri

المساهمون: 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), Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: ICFP 2021 - 26th ACM SIGPLAN International Conference on Functional Programming ; https://hal.science/hal-03298759Test ; ICFP 2021 - 26th ACM SIGPLAN International Conference on Functional Programming, Aug 2021, Virtual, Japan. ⟨10.1145/3473571⟩

مصطلحات موضوعية: Separation logic, Program verification, Program specifications, Concurrency, Weak memory, Concurrent queue, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Virtual, Japan

العلاقة: hal-03298759; https://hal.science/hal-03298759Test; https://hal.science/hal-03298759/documentTest; https://hal.science/hal-03298759/file/main.pdfTest

الإتاحة: https://doi.org/10.1145/3473571Test
https://hal.science/hal-03298759Test
https://hal.science/hal-03298759/documentTest
https://hal.science/hal-03298759/file/main.pdfTest

المؤلفون: Braibant, Thomas, Jourdan, Jacques-Henri, Monniaux, David

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1304.6038Test

المؤلفون: Dang, Hoang-Hai, Jourdan, Jacques-Henri, Kaiser, Jan-Oliver, Dreyer, Derek

المساهمون: Max Planck Institute for Software Systems (MPI-SWS), Vérification d'Algorithmes, Langages et Systèmes (LRI) (VALS - LRI), Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Université Paris-Saclay

المصدر: POPL ; https://hal.science/hal-02351793Test ; POPL, Jan 2020, New Orleans, United States. ⟨10.1145/3371101⟩ ; https://popl20.sigplan.orgTest/

مصطلحات موضوعية: Separation logic, Programming logic, Operational semantics, Rust, semantic soundness, relaxed memory models, Iris, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

جغرافية الموضوع: New Orleans, United States

العلاقة: hal-02351793; https://hal.science/hal-02351793Test; https://hal.science/hal-02351793/documentTest; https://hal.science/hal-02351793/file/paper.pdfTest

الإتاحة: https://doi.org/10.1145/3371101Test
https://hal.science/hal-02351793Test
https://hal.science/hal-02351793/documentTest
https://hal.science/hal-02351793/file/paper.pdfTest

المؤلفون: Jourdan, Jacques (Jean Raoul J.) (1880-1916), graveur, Europeana

الوصول الحر: http://europeana.eu/portal/record/2021618/internetserver_Details_kunst_27205.htmlTest