Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Sous-typage"'
Autor:
Petrucciani, Tommaso
Publikováno v:
Programming Languages [cs.PL]. Università di Genova; Université Sorbonne Paris Cité – Université Paris Diderot, 2019. English
We study set-theoretic types: types that include union, intersection, and negation connectives. Set-theoretic types, coupled with a suitable subtyping relation, are useful to type several programming language constructs – including conditional bran
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b6ce2bacd492fcb5dd106100de8c1fed
https://tel.archives-ouvertes.fr/tel-02119930
https://tel.archives-ouvertes.fr/tel-02119930
Autor:
Gilbert, Frédéric
Le système de types de la logique d'ordre supérieur permet d'exclure certaines expressions indésirables telles que l'application d'un prédicat à lui-même. Cependant, il ne suffit pas pour vérifier des critères plus complexes comme l'absence d
Externí odkaz:
http://www.theses.fr/2018USPCC009/document
Autor:
Gilbert, Frédéric
Publikováno v:
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCC009⟩
The type system of higher-order logic allows to exclude some unexpected expressions such as the application of a predicate to itself. However, it is not sufficient to verify more complex criteria such as the absence of divisions by zero. This thesis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9e28e1e6a99a3f2b2010cf1b9883b458
https://tel.archives-ouvertes.fr/tel-02058937
https://tel.archives-ouvertes.fr/tel-02058937
Autor:
Gilbert, Frédéric
Publikováno v:
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Cité; Université Paris Diderot, 2018. English. ⟨NNT : ⟩
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Cité; Université Paris Diderot, 2018. English
Logic in Computer Science [cs.LO]. Université Sorbonne Paris Cité; Université Paris Diderot, 2018. English
The type system of higher-order logic allows to exclude some unexpected expressions such as the application of a predicate to itself. However, it is not sufficient to verify more complex criteria such as the absence of divisions by zero. This thesis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8493af9a10023a840ea494a9c21d94b5
https://inria.hal.science/hal-01673518v2/document
https://inria.hal.science/hal-01673518v2/document
Autor:
Khalil, Dima
Mycoplasma (M.) bovis est une bactérie pathogène des bovins, à l'origine de signes cliniques divers, comme des mammites, des arthrites, des otites et des bronchopneumonies, ces dernières étant majoritaires en France. Les mycoplasmoses à M. bovi
Externí odkaz:
http://www.theses.fr/2016LYSE1238/document
Autor:
Khalil , Dima
Publikováno v:
Microbiologie et Parasitologie. Université de Lyon, 2016. Français. 〈NNT : 2016LYSE1238〉
Mycoplasma (M.) bovis is a bacterial pathogen for cattle, responsible for various clinical signs, like mastitis, arthritis, otitis and respiratory diseases, the latter being the main syndrome present in France. Mycoplasmoses have a great economic imp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::997b8145340546db1b5d3082f062e728
https://tel.archives-ouvertes.fr/tel-01447763
https://tel.archives-ouvertes.fr/tel-01447763
Autor:
Vaugon, Benoit
Cette thèse porte sur l'analyse statique de code par typage dans le but de détecter les erreurs dans les programmes avant leur exécution. Plus précisément, nous nous intéressons ici au domaine du sous-typage, dans lequel les propriétés du cod
Externí odkaz:
http://www.theses.fr/2016SACLY004/document
Autor:
Richard Dapoigny, Patrick Barlatier
Publikováno v:
Revue des Sciences et Technologies de l'Information-Série RIA : Revue d'Intelligence Artificielle
Revue des Sciences et Technologies de l'Information-Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2008, 22 (6), pp.697-723. ⟨10.3166/ria.22.725-755⟩
Revue des Sciences et Technologies de l'Information-Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2008, 22 (6), pp.697-723. ⟨10.3166/ria.22.725-755⟩
27; National audience; Ces dix dernières années de nombreuses recherches dans le domaine des contextes furent menées, cependant, peu d'entre elles utilisèrent la logique comme sémantique. Dans cet article, nous abordons ce problème en utilisant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6b5e413f7872ce4c23b8725da9e7fe04
https://doi.org/10.3166/ria.22.725-755
https://doi.org/10.3166/ria.22.725-755
Autor:
Morineaux, Valérie
Les toxines botuliques (BoNTs) sont les substances les plus toxiques connues. Elles sont responsables du botulisme, une maladie rare mais le plus souvent mortelle sans prise en charge médicale. Cependant, les applications médicales des BoNTs sont d
Externí odkaz:
http://www.theses.fr/2015PA114826
Autor:
Allam, Diana
Actuellement, l’implémentation des services (modèles SOAP et RESTful) et de leurs applications clientes est de plus en plus basée sur la programmation par objet. Ainsi, les cadriciels orientés-objets pour les services Web sont essentiellement c
Externí odkaz:
http://www.theses.fr/2014EMNA0115/document