Vers une sémantique complètement adéquate de l’appel-par-valeur, à l’aide de la logique linéaire différentielle

par Emma Kerinec

Projet de thèse en Doctorat informatique

Sous la direction de Giulio Manzonetto.

Thèses en préparation à Paris 13 , dans le cadre de École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) depuis le 10-09-2019 .

Résumé

La logique linéaire a récemment permis de mieux comprendre le paradigme "appel-par-valeur", qui est plus adapté à l'implementation des langages de programmation. Le projet scientifique a comme objectif d'exploiter les découvertes les plus récentes afin d'arriver à définir un modèle pleinement adéquat.

Pas de résumé disponible.