LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Tin tức » Nghiên cứu sinh

FECHTER Stéphane

Tiến sĩ()
Nhóm nghiên cứu : SPI
Ngày đi : 31-12-2006
Ban lãnh đạo nghiên cứu : Thérèse HARDIN
Đồng hướng dẫn : DUBOIS Catherine

Sémantique des traits orientés objet de Focal

FOCAL est un atelier de développement de logiciels sûrs. Il permet de décrire la spécification, la conception puis l'implantation d'un système par des unités construites à l'aide de l'héritage multiple, de la liaison retardée mais aussi de propriétés qui engendrent des obligations de preuve. La paramétrisation d'unités par des spécifications d'autres unités permet de prendre en compte la compositionnalité. L'héritage multiple, la liaison retardée confèrent au langage un aspect classes / objets. Le mécanisme d'encapsulation requis pour importer des unités de façon sûre donne au langage une connotation de module. Dans cette thèse, nous construisons deux modèles de FOCAL, un premier s'inscrivant dans la ligne des modèles à la Objective ML, le second dans la ligne des mixins. Ces modèles proposent un langage de types et une sémantique opérationnelle, permettant de démontrer dans les deux cas un théorème de Subject Reduction (toute expression bien typée ne fait pas de bus erreur).
Bảo vệ luận án : 18-07-2005 - 14h - Site Scott - salle C.044
Hội đồng giám khảo :
M. Jean-François PERROT (LIP6) [Président]
M. Denis CAROMEL (INRIA) [Rapporteur]
M. Luigi LIQUORI (INRIA) [Rapporteur]
M. Michel OCCELLO (UPMF) [Rapporteur]
Mme. Thérèse HARDIN (LIP6) [Directrice]
Mme. Catherine DUBOIS (IIE-CNAM) [Co Directrice]
M. Choukri BEN-YELLES (UPMF)

Bài báo khoa học 2002-2005

 Mentions légales
Sơ đồ site |