A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

La traduction du nouveau Code civil néerlandais en anglais et en français

La traduction du nouveau Code civil néerlandais en anglais et en français représentait un grand défi en raison du caractère systématique et fondateur d’un code, du recours à une terminologie et à une organisation nouvelles et de la longueur des articles. Dans un premier temps, le Code a été traduit selon une terminologie juridique anglaise strictement civiliste, tant en anglais qu’en français, et a été publié sous un format trilingue. Toutefois, sous la pression des praticiens, lesquels recherchaient une traduction correspondant mieux aux attentes de lecteurs anglophones habitués à la terminologie de la common law, une formule a été élaborée pour produire une version anglaise compréhensible pour les deux familles juridiques, au besoin hors de tout contexte et sans recourir à des notes. Une telle formule mérite considération lorsqu’il s’agira de produire d’autres traductions de textes civilistes en anglais.

Neuron participation in a synchrony-encoding assembly

Affiliation: Svetlana Shumikhina &Stéphane Molotchnikoff : Département de Sciences Biologiques, Université de Montréal

Faut-il un code civil européen ? Une analyse économique

Article publié avec l'accord de la Revue Les Cahiers de Droit (accessible sur http://www.fd.ulaval.ca/cahiers/)

Les Principes d'UNIDROIT et le Code civil du Québec : variation et mutations

Un résumé en anglais est également disponible.

Les tiers, vecteurs du réseau social. Les personnes et les biens dans le Code civil du Québec.

Un résumé en anglais est également disposnible.

Le Code civil des Français de 1804 : une transaction entre révolution et réaction

Un résumé en anglais est également disponible.

Les tiers : ces acteurs de la dynamique juridique dans le Code civil du Québec

La vie en société s’organise autour de systèmes structurants : politique, économique, juridique, religieux, etc. En démocratie, le droit a pour mission essentielle d’assurer la paix, la stabilité et la sécurité ; pour ce faire, il tend à rendre toute chose prévisible, en normalisant les comportements, en uniformisant les règles. Ainsi, les rapports privés s’incarneront dans la fixité et la linéarité autour d’une figure relationnelle unique, le duo. La mouvance sociale, l’effervescence économique semblent faire fi de ce moule trop contraignant. Les acteurs s’inscrivent dans la pluralité et tissent des rapports densément enchevêtrés. Selon la théorie juridique classique, le droit doit alors adopter une stratégie de simplification : fragmenter les situations, circonscrire des espaces clos autour de la cellule nucléaire d’origine, en chasser ceux qu’il perçoit comme des parasites. La tactique consiste à se donner une structure binaire, à opposer par exemple les parties aux tiers. L’auteure soutient que la seule présence des tiers, identifiés juridiquement à des étrangers, constitue la marque indélébile du bouillonnement communicationnel. Que le droit refuse d’en rendre compte expressément dévoile l’artificialité de sa construction.

L'application de la notion d'entreprise entre le Code de commerce français et le Code civil du Québec

"Mémoire présenté à la faculté des études supérieures en vue de l'obtention du grade de maîtrise en droit des affaires LLM"