المؤلفون: Losekoot, Théo, Genet, Thomas, Jensen, Thomas

المساهمون: Analyse sémantique et compilation pour la sécurité des environnements d'exécution (EPICURE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)

المصدر: https://inria.hal.science/hal-04669706 ; 2024.

مصطلحات موضوعية: Formal verification, Relational properties, Algebraic datatypes, Model inference, [INFO]Computer Science [cs]

Relation: hal-04669706; https://inria.hal.science/hal-04669706; https://inria.hal.science/hal-04669706/document; https://inria.hal.science/hal-04669706/file/main.pdf

الاتاحة: https://inria.hal.science/hal-04669706
https://inria.hal.science/hal-04669706/document
https://inria.hal.science/hal-04669706/file/main.pdf

المؤلفون: Losekoot, Théo, Genet, Thomas, Jensen, Thomas

المساهمون: Analyse sémantique et compilation pour la sécurité des environnements d'exécution (EPICURE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)

المصدر: Lipics ; FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-04216680 ; FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction, Jun 2023, Rome, Italy. pp.1-21, ⟨10.4230/LIPIcs.FSCD.2023.7⟩

مصطلحات موضوعية: Formal verification, Tree automata, Constrained Horn Clauses, Model inference, Relational properties, Algebraic datatypes, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Rome, Italy

Relation: hal-04216680; https://inria.hal.science/hal-04216680; https://inria.hal.science/hal-04216680/document; https://inria.hal.science/hal-04216680/file/LosekootGJ-FSCD23.pdf

الاتاحة: https://inria.hal.science/hal-04216680
https://inria.hal.science/hal-04216680/document
https://inria.hal.science/hal-04216680/file/LosekootGJ-FSCD23.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2023.7

المؤلفون: Snodgrass, J.J.

المصدر: Snodgrass , J J 2023 , ' The co-intension problem : a reply to Rodriguez-Pereyra ' , Thought: A Journal of Philosophy , vol. Online First . https://doi.org/10.5840/tht2023102622

مصطلحات موضوعية: Co-intension problem, Co-intensional properties, Hyperintensional properties, Relational and non-relational properties

وصف الملف: application/pdf

الاتاحة: https://research-portal.st-andrews.ac.uk/en/publications/aba75eaa-0317-4f59-b879-0f4d33a50eba
https://doi.org/10.5840/tht2023102622
https://research-repository.st-andrews.ac.uk/bitstream/10023/28587/1/Snodgrass_2023_TJP_Co_intensionproblem_CCBYNCND.pdf

المؤلفون: Lin, Xiangting Bernice, Oh, Poong

المصدر: International Journal of Communication; Vol 17 (2023); 21 ; 1932-8036

مصطلحات موضوعية: online content, online participation, stag hunt game, relational properties, cocreation, co-ownership

وصف الملف: application/pdf

Relation: https://ijoc.org/index.php/ijoc/article/view/19687/4270; https://ijoc.org/index.php/ijoc/article/view/19687

الاتاحة: https://ijoc.org/index.php/ijoc/article/view/19687

المؤلفون: Metz, Thaddeus, author

المصدر: A Relational Moral Theory : African Ethics in and beyond the Continent, 2021.

الاتاحة: https://doi.org/10.1093/oso/9780198748960.003.0013

المؤلفون: Metz, Thaddeus, author

المصدر: A Relational Moral Theory : African Ethics in and beyond the Continent, 2021.

الاتاحة: https://doi.org/10.1093/oso/9780198748960.003.0008

المؤلفون: Tvrtko Prćić

المصدر: Lexikos, Vol 26, Pp 151-179 (2019)

مصطلحات موضوعية: lexical affixes, essential properties, relational properties, general-purpose dictionaries, bare-bones inferential dictionary, heuristic, self-study, english, Philology. Linguistics, P1-1091, Languages and literature of Eastern Asia, Africa, Oceania, PL1-8844, Germanic languages. Scandinavian languages, PD1-7159

وصف الملف: electronic resource

Relation: https://lexikos.journals.ac.za/pub/article/view/1516; https://doaj.org/toc/1684-4904; https://doaj.org/toc/2224-0039

URL الوصول: https://doaj.org/article/2776c9c38a9e4dfc9cada77f1bfde4c6

المؤلفون: Illous, Hugo, Lemerre, Matthieu, Rival, Xavier

المساهمون: CEA- Saclay (CEA), Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Analyse Statique par Interprétation Abstraite (ANTIQUE), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université Paris Sciences et Lettres (PSL)

المصدر: ISSN: 0925-9856.

مصطلحات موضوعية: Static analysis, Abstract interpretation, Shape analysis, Separation Logic, Relational properties, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: hal-03538097; https://hal.science/hal-03538097; https://hal.science/hal-03538097v2/document; https://hal.science/hal-03538097v2/file/main%202.pdf

الاتاحة: https://hal.science/hal-03538097
https://hal.science/hal-03538097v2/document
https://hal.science/hal-03538097v2/file/main%202.pdf
https://doi.org/10.1007/s10703-021-00366-4

المؤلفون: Mahootian, Farzad, author

المصدر: What Is A Chemical Element? : A Collection of Essays by Chemists, Philosophers, Historians, and Educators, 2020.

الاتاحة: https://doi.org/10.1093/oso/9780190933784.003.0009

المؤلفون: Paul, L. A.

المصدر: Noûs, 2006 Dec 01. 40(4), 623-659.

URL الوصول: http://dx.doi.org/10.1111/j.1468-0068.2006.00627.x

المؤلفون: LaPorte, Joseph

المصدر: Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, 2006 Aug 01. 130(2), 321-336.

URL الوصول: https://www.jstor.org/stable/4321802

المؤلفون: Cohen, Jonathan

المصدر: The Philosophical Review, 2004 Oct 01. 113(4), 451-506.

URL الوصول: https://www.jstor.org/stable/4147999

المؤلفون: Smolin, Lee

المصدر: Philosophical Transactions: Mathematical, Physical and Engineering Sciences, 2003 Jun . 361(1807), 1081-1088.

URL الوصول: https://www.jstor.org/stable/3559097

المؤلفون: Davidson, Matthew

المصدر: Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, 2003 Mar 01. 113(1), 77-92.

URL الوصول: https://www.jstor.org/stable/4321349

المصدر: Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, 2003 Jan 01. 112(2), 163-185.

URL الوصول: https://www.jstor.org/stable/4321335

المؤلفون: Cameron, Lynne

المصدر: British Educational Research Journal, 2002 Oct 01. 28(5), 673-688.

URL الوصول: https://www.jstor.org/stable/1501354

المؤلفون: Tennant, Neil

المصدر: Philosophical Perspectives, 2002 Jan 01. 16, 345-377.

URL الوصول: https://www.jstor.org/stable/3840919

المؤلفون: Van Cleve, James

المصدر: Philosophical Perspectives, 2002 Jan 01. 16, 379-393.

URL الوصول: https://www.jstor.org/stable/3840920

المؤلفون: Lewis, David

المصدر: Mind, 2002 Jan 01. 111(441), 1-13.

URL الوصول: https://www.jstor.org/stable/3093784

المؤلفون: Psillos, Stathis

المصدر: Philosophy of Science, 2001 Sep 01. 68(3), 346-355.

URL الوصول: https://www.jstor.org/stable/3080923