Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Sous typage). Showing records 1 – 7 of 7 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Petrucciani, Tommaso. Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels.

Degree: Docteur es, Informatique. Informatique fondamentale, 2019, Sorbonne Paris Cité; Università degli studi (Gênes, Italie)

 Cette thèse porte sur l'étude des types ensemblistes : des types qui contiennent des connecteurs d'union, d'intersection et de négation. Les types ensemblistes permettent de… (more)

Subjects/Keywords: Systèmes de types; Sous-typage; Inférence de types; Typage graduel; Sémantiques non-strictes; Type systems; Subtyping; Type inference; Gradual typing; Non-strict semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Petrucciani, T. (2019). Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels. (Doctoral Dissertation). Sorbonne Paris Cité; Università degli studi (Gênes, Italie). Retrieved from http://www.theses.fr/2019USPCC067

Chicago Manual of Style (16th Edition):

Petrucciani, Tommaso. “Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels.” 2019. Doctoral Dissertation, Sorbonne Paris Cité; Università degli studi (Gênes, Italie). Accessed January 24, 2021. http://www.theses.fr/2019USPCC067.

MLA Handbook (7th Edition):

Petrucciani, Tommaso. “Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels.” 2019. Web. 24 Jan 2021.

Vancouver:

Petrucciani T. Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; Università degli studi (Gênes, Italie); 2019. [cited 2021 Jan 24]. Available from: http://www.theses.fr/2019USPCC067.

Council of Science Editors:

Petrucciani T. Polymorphic set-theoretic types for functional languages : Types ensemblistes polymorphes pour les langages fonctionnels. [Doctoral Dissertation]. Sorbonne Paris Cité; Università degli studi (Gênes, Italie); 2019. Available from: http://www.theses.fr/2019USPCC067

2. Khalil, Dima. Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France.

Degree: Docteur es, Microorganismes. Interactions. Infections, 2016, Lyon

 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,… (more)

Subjects/Keywords: M. bovis; CMI; Sous-typage; Fluoroquinolones; Macrolides; Tétracyclines; Sensibilité; M. bovis; MIC; Subtyping; Fluoroquinolones; Macrolides; Tetracyclines; Drug resistance; 579

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Khalil, D. (2016). Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France. (Doctoral Dissertation). Lyon. Retrieved from http://www.theses.fr/2016LYSE1238

Chicago Manual of Style (16th Edition):

Khalil, Dima. “Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France.” 2016. Doctoral Dissertation, Lyon. Accessed January 24, 2021. http://www.theses.fr/2016LYSE1238.

MLA Handbook (7th Edition):

Khalil, Dima. “Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France.” 2016. Web. 24 Jan 2021.

Vancouver:

Khalil D. Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France. [Internet] [Doctoral dissertation]. Lyon; 2016. [cited 2021 Jan 24]. Available from: http://www.theses.fr/2016LYSE1238.

Council of Science Editors:

Khalil D. Résistance aux antibiotiques chez Mycoplasma bovis : mécanismes moléculaires et évolution en France : Antimicrobial resistance in Mycoplasma bovis : molecular mechanisms and evolution in France. [Doctoral Dissertation]. Lyon; 2016. Available from: http://www.theses.fr/2016LYSE1238


Université de Lorraine

3. Oliveira Kiermes Tavares, Claudia Fernanda. Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming.

Degree: Docteur es, Informatique, 2012, Université de Lorraine

Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par… (more)

Subjects/Keywords: Systèmes de types; Sous-typage; Filtrage de motifs; Réécriture; Contraintes de type; Type systems; Subtyping; Pattern matching; Rewriting; Type constraints; 005.131

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Oliveira Kiermes Tavares, C. F. (2012). Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2012LORR0015

Chicago Manual of Style (16th Edition):

Oliveira Kiermes Tavares, Claudia Fernanda. “Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming.” 2012. Doctoral Dissertation, Université de Lorraine. Accessed January 24, 2021. http://www.theses.fr/2012LORR0015.

MLA Handbook (7th Edition):

Oliveira Kiermes Tavares, Claudia Fernanda. “Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming.” 2012. Web. 24 Jan 2021.

Vancouver:

Oliveira Kiermes Tavares CF. Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming. [Internet] [Doctoral dissertation]. Université de Lorraine; 2012. [cited 2021 Jan 24]. Available from: http://www.theses.fr/2012LORR0015.

Council of Science Editors:

Oliveira Kiermes Tavares CF. Un système de types pour la programmation par réécriture embarquée : A type system for embedded rewriting programming. [Doctoral Dissertation]. Université de Lorraine; 2012. Available from: http://www.theses.fr/2012LORR0015

4. Vaugon, Benoit. Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation.

Degree: Docteur es, Informatique, 2016, Université Paris-Saclay (ComUE)

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,… (more)

Subjects/Keywords: Sous-Typage; Méthodes formelles; Programmation; Analyse statique; Langage de programmation; Subtyping; Formal methods; Programming; Static Analysis; Programming language; 005

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vaugon, B. (2016). Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2016SACLY004

Chicago Manual of Style (16th Edition):

Vaugon, Benoit. “Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation.” 2016. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed January 24, 2021. http://www.theses.fr/2016SACLY004.

MLA Handbook (7th Edition):

Vaugon, Benoit. “Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation.” 2016. Web. 24 Jan 2021.

Vancouver:

Vaugon B. Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2016. [cited 2021 Jan 24]. Available from: http://www.theses.fr/2016SACLY004.

Council of Science Editors:

Vaugon B. Sous-Typage par Saturation de Contraintes, Théorie et Implémentation : Subtyping by Constraint Saturation, Theory and Implementation. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2016. Available from: http://www.theses.fr/2016SACLY004

5. Allam, Diana. Loose coupling and substitution principle in objet-oriented frameworks for web services : Couplage faible et principe de substitution dans les environnements à objets pour les services web.

Degree: Docteur es, Informatique et applications, 2014, Nantes, Ecole des Mines

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,… (more)

Subjects/Keywords: Architecture Orientée-Services; Programmation par objet; Interopérabilité; Couplage faible; Sous-typage; Modèle de passation de messages; Service-Oriented architecture; Object-Oriented programming; Interoperability; Loose coupling; Subtyping; Message-Passing model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Allam, D. (2014). Loose coupling and substitution principle in objet-oriented frameworks for web services : Couplage faible et principe de substitution dans les environnements à objets pour les services web. (Doctoral Dissertation). Nantes, Ecole des Mines. Retrieved from http://www.theses.fr/2014EMNA0115

Chicago Manual of Style (16th Edition):

Allam, Diana. “Loose coupling and substitution principle in objet-oriented frameworks for web services : Couplage faible et principe de substitution dans les environnements à objets pour les services web.” 2014. Doctoral Dissertation, Nantes, Ecole des Mines. Accessed January 24, 2021. http://www.theses.fr/2014EMNA0115.

MLA Handbook (7th Edition):

Allam, Diana. “Loose coupling and substitution principle in objet-oriented frameworks for web services : Couplage faible et principe de substitution dans les environnements à objets pour les services web.” 2014. Web. 24 Jan 2021.

Vancouver:

Allam D. Loose coupling and substitution principle in objet-oriented frameworks for web services : Couplage faible et principe de substitution dans les environnements à objets pour les services web. [Internet] [Doctoral dissertation]. Nantes, Ecole des Mines; 2014. [cited 2021 Jan 24]. Available from: http://www.theses.fr/2014EMNA0115.

Council of Science Editors:

Allam D. Loose coupling and substitution principle in objet-oriented frameworks for web services : Couplage faible et principe de substitution dans les environnements à objets pour les services web. [Doctoral Dissertation]. Nantes, Ecole des Mines; 2014. Available from: http://www.theses.fr/2014EMNA0115

6. Gilbert, Frédéric. Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS.

Degree: Docteur es, Mathématiques. Logique et fondements de l'informatique, 2018, Sorbonne Paris Cité

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… (more)

Subjects/Keywords: Prototype verification system (PVS); Logique d'ordre supérieur; Sous-typage par prédicats; Prototype verification system (PVS); Higher-order logic; Predicate subtyping; Type theory; Proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gilbert, F. (2018). Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS. (Doctoral Dissertation). Sorbonne Paris Cité. Retrieved from http://www.theses.fr/2018USPCC009

Chicago Manual of Style (16th Edition):

Gilbert, Frédéric. “Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS.” 2018. Doctoral Dissertation, Sorbonne Paris Cité. Accessed January 24, 2021. http://www.theses.fr/2018USPCC009.

MLA Handbook (7th Edition):

Gilbert, Frédéric. “Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS.” 2018. Web. 24 Jan 2021.

Vancouver:

Gilbert F. Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; 2018. [cited 2021 Jan 24]. Available from: http://www.theses.fr/2018USPCC009.

Council of Science Editors:

Gilbert F. Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS. [Doctoral Dissertation]. Sorbonne Paris Cité; 2018. Available from: http://www.theses.fr/2018USPCC009


Université Paris-Sud – Paris XI

7. Morineaux, Valérie. Identification et Quantification des Sous-Types de la Neurotoxine Botulique de Type A par Spectrométrie de Masse : Identification and quantification of botulinim neurotoxin A subtypes by mass spectrometry.

Degree: Docteur es, Microbiologie, 2015, Université Paris-Sud – Paris XI

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… (more)

Subjects/Keywords: Clostridium botulinum; Neurotoxine botulique; Sous typage; Spectrométrie de masse; Identification; Quantification absolue; Clostridium botulinum; Botulinum neurotoxin; Subtyping; Mass spectrometry; Identification; Absolute quantification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Morineaux, V. (2015). Identification et Quantification des Sous-Types de la Neurotoxine Botulique de Type A par Spectrométrie de Masse : Identification and quantification of botulinim neurotoxin A subtypes by mass spectrometry. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2015PA114826

Chicago Manual of Style (16th Edition):

Morineaux, Valérie. “Identification et Quantification des Sous-Types de la Neurotoxine Botulique de Type A par Spectrométrie de Masse : Identification and quantification of botulinim neurotoxin A subtypes by mass spectrometry.” 2015. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed January 24, 2021. http://www.theses.fr/2015PA114826.

MLA Handbook (7th Edition):

Morineaux, Valérie. “Identification et Quantification des Sous-Types de la Neurotoxine Botulique de Type A par Spectrométrie de Masse : Identification and quantification of botulinim neurotoxin A subtypes by mass spectrometry.” 2015. Web. 24 Jan 2021.

Vancouver:

Morineaux V. Identification et Quantification des Sous-Types de la Neurotoxine Botulique de Type A par Spectrométrie de Masse : Identification and quantification of botulinim neurotoxin A subtypes by mass spectrometry. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2015. [cited 2021 Jan 24]. Available from: http://www.theses.fr/2015PA114826.

Council of Science Editors:

Morineaux V. Identification et Quantification des Sous-Types de la Neurotoxine Botulique de Type A par Spectrométrie de Masse : Identification and quantification of botulinim neurotoxin A subtypes by mass spectrometry. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2015. Available from: http://www.theses.fr/2015PA114826

.