| 1 |
LexArt : Les mots de la peinture ; LexArt : Les mots de la peinture: (France, Allemagne, Angleterre, Pays-Bas, 1600-1750)
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03142476 ; Presses universitaires de la Méditerranée, 504 p., 2018, Arts, 978-2-36781-269-4 ; https://www.pulm.fr (2018)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Wor(l)ds of criticism ; Wor(l)ds of criticism: un lexique des pensées du décentrage
|
|
|
|
In: ISSN: 0765-5991 ; EISSN: 1950-629 ; Culture et recherche ; https://hal.archives-ouvertes.fr/hal-03581988 ; Culture et recherche, Paris : Ministère de la Culture et de la Communication, 2018, Pratiques plurielles de la recherche (2018)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Le reste persiste et signe. Quelques petits problèmes de grammaire anglaise (ir)résolus
|
|
|
|
In: ISSN: 2116-1747 ; Etudes de stylistique anglaise ; https://hal.archives-ouvertes.fr/hal-01956848 ; Etudes de stylistique anglaise, Société de stylistique anglaise, Lyon, 2018 (2018)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Thinking German literature from the margins (20th-21th cent.) ; Penser la littérature allemande à partir des marges - XXe-XXIe siècles. Volume I: Document de synthèse
|
|
|
|
In: https://hal-u-picardie.archives-ouvertes.fr/tel-03452694 ; Littératures. Sorbonne Université, 2018 (2018)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Analysis of the community structure in bipartite networks ; Analyse de la structure communautaire des réseaux bipartis
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-02966420 ; Réseaux sociaux et d'information [cs.SI]. Sorbonne Université, 2018. Français. ⟨NNT : 2018SORUS550⟩ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Towards notation and composition tools and systems for electroacoustic music ; Vers des systèmes et outils de notation et de composition pour la musique électroacoustique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01951854 ; Autre [cs.OH]. Université de Bordeaux, 2018. Français. ⟨NNT : 2018BORD0200⟩ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Insérer ses propres travaux d'écriture dans sa thèse : intérêts et risques
|
|
|
|
In: Recherche et création littéraire en France et à l’étranger : quelles perspectives de dialogue international ? ; https://hal.archives-ouvertes.fr/hal-02149299 ; Recherche et création littéraire en France et à l’étranger : quelles perspectives de dialogue international ?, Dec 2018, Cergy-Pontoise, France (2018)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Más et ses « marqueurs du standard » en espagnol : de ~ que.Approche des signifiants en chronosyntaxe interlocutive
|
|
|
|
In: ISSN: 1638-5748 ; EISSN: 1638-573X ; CORELA - COgnition, REprésentation, LAngage ; https://halshs.archives-ouvertes.fr/halshs-01959467 ; CORELA - COgnition, REprésentation, LAngage, CERLICO-Cercle Linguistique du Centre et de l'Ouest (France), 2018, 16-2 ; https://journals.openedition.org/corela/6910#article-6910 (2018)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Théories sans frontières ? ; Théories sans frontières ?: Les théories littéraires en France et la construction d’un espace transnational, années 1960-années 1970.
|
|
|
|
In: ISSN: 0335-5322 ; EISSN: 1955-2564 ; Actes de la Recherche en Sciences Sociales ; https://halshs.archives-ouvertes.fr/halshs-01910688 ; Actes de la Recherche en Sciences Sociales, Editions du Seuil, 2018, 224 (4), pp.46 - 63. ⟨10.3917/arss.224.0046⟩ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Accommodating the visitor: How museums connect with their present-day populations
|
|
|
|
In: ISSN: 1278-3331 ; EISSN: 2427-0466 ; Anglophonia / Caliban - French Journal of English Linguistics ; https://halshs.archives-ouvertes.fr/halshs-02112065 ; Anglophonia / Caliban - French Journal of English Linguistics, Presses universitaires du Midi, 2018, ⟨10.4000/anglophonia.1409⟩ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Edith Steins Vortrag 'Weihnachtsgeheimnis' im Fokus seiner Übersetzungen ins Tschechische [Online resource]
|
|
|
|
In: Acta Facultatis Philosophicae Universitatis Ostraviensis / Studia Germanistica 13 (2018) 22, 63-71
|
|
Linguistik-Repository
|
|
Show details
|
|
|
| 12 |
Algorithmes certifiés pour la simplification syntaxique de programmes ; Certified algorithms for program slicing
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01874620 ; Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC056⟩ (2018)
|
|
Abstract:
Program slicing is a technique that extracts, given a program and a criterion that is one or several instructions in this program, a simpler program, called a slice, that has the same behavior as the initial program with respect to the criterion. Program analysis techniques focus on establishing the properties of a program. These techniques are costly, and their complexity increases with the size of the program. Therefore, it would be interesting to apply these techniques on slices rather than the initial program, but it requires theoretical foundations to interpret the results obtained on the slices. This thesis provides this justification for runtime error detection. In this context, two questions arise. If an error is detected in the slice, does this mean that it can also be triggered in the initial program? On the contrary, if the slice is proved to be error-free, does this mean that the initial program is error-free too? We model this problem using a small representative imperative language containing errors and non-termination, and establish the link between the semantics of the initial program and of its slice, which allows to give a precise answer to the two questions raised above. To apply these results in a more general context, we focus on the first step towards a language-independent slicer: an algorithm computing control dependence. We formalize an elegant theory of control dependence on arbitrary finite directed graphs taken from the literature and improve the proposed algorithm. To ensure a high confidence in the results, we prove them in the Coq proof assistant or in the Why3 proof plateform. ; La simplification syntaxique, ou slicing, est une technique permettant d’extraire, à partir d’un programme et d’un critère consistant en une ou plusieurs instructions de ce programme, un programme plus simple, appelé slice, ayant le même comportement que le programme initial vis-à-vis de ce critère. Les méthodes d’analyse de code permettent d’établir les propriétés d’un programme. Ces méthodes sont souvent coûteuses, et leur complexité augmente rapidement avec la taille du code. Il serait donc souhaitable d’appliquer ces techniques sur des slices plutôt que sur le programme initial, mais cela nécessite de pouvoir justifier théoriquement l’interprétation des résultats obtenus sur les slices. Cette thèse apporte cette justification pour le cas de la recherche d’erreurs à l’exécution. Dans ce cadre, deux questions se posent. Si une erreur est détectée dans une slice, cela veut-il dire qu’elle se déclenchera aussi dans le programme initial ? Et inversement, si l’absence d’erreurs est prouvée dans une slice, cela veut-il dire que le programme initial en est lui aussi exempt ? Nous modélisons ce problème sur un mini-langage impératif représentatif, autorisant les erreurs et la non-terminaison, et montrons le lien entre la sémantique du programme initial et la sémantique de sa slice, ce qui nous permet de répondre aux deux questions précédentes. Pour généraliser ces résultats, nous nous intéressons à la première brique d’un slicer indépendant du langage : le calcul générique des dépendances de contrôle. Nous formalisons une théorie élégante de dépendances de contrôle sur des graphes orientés finis arbitraires prise dans la littérature et améliorons l’algorithme de calcul proposé.Pour garantir un maximum de confiance dans les résultats, tous ces travaux sont prouvés dans l’assistant de preuve Coq ou dans l’outil de preuve Why3.
|
|
Keyword:
[SPI.OTHER]Engineering Sciences [physics]/Other; Control dependence; Coq; dépendances de contrôle; formal verification; Graph theory; Program slicing; Slicing; Théorie des graphes; Vérification formelle; Why3
|
|
URL: https://tel.archives-ouvertes.fr/tel-01874620v2/document
https://tel.archives-ouvertes.fr/tel-01874620v2/file/thesis.pdf
https://tel.archives-ouvertes.fr/tel-01874620
|
|
BASE
|
|
Hide details
|
|
|
| 13 |
“Qui sont-je?” Multilingual Entanglements in Üstün Bilgen-Reinart’s Porcelain Moon and Pomegranates: A Woman’s Trek through Turkey
|
|
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Transnationalizing Radio Research: New Approaches to an Old Medium ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 15 |
S8-II - Situational Eight-II - deutsche Fassung ... : Big Eight DIAMONDS; The Situational Big Eight DIAMONDS ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Déstabilisation, crise et innovation : Pouvoir et restructuration du champ d’action stratégique fransaskois
|
|
Landry, Michelle; McNichol, Dustin. - : Institut canadien de recherche sur les minorités linguistiques / Canadian Institute for Research on Linguistic Minorities, 2018. : Érudit, 2018
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Children's potential mobility and appropriation of transport options in an informal settlement
|
|
|
|
BASE
|
|
Show details
|
|
|
| 18 |
La linguistique quantitative en Allemagne et en Autriche ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Lesbian Trouble(s): Queere Theorievergessenheit und die Bedeutung lesbisch-feministischer 'Klassikerinnen' für andere Versionen und Visionen von Queer/ing
|
|
|
|
In: Femina Politica - Zeitschrift für feministische Politikwissenschaft ; 24 ; 1 ; 25-38 ; Perspektiven queerfeministischer politischer Theorie (2018)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Vom Verschwinden des (Inter)Kulturellen und Überleben der (Inter)Kulturalität
|
|
|
|
In: interculture journal: Online-Zeitschrift für interkulturelle Studien ; 15 ; 26 ; 59-74 ; (Inter-)Kulturalität neu denken! (2018)
|
|
BASE
|
|
Show details
|
|
|
|
|
