Formal semantics of multitier languages

par Adam Khayam

Projet de thèse en Informatique

Sous la direction de Alan Schmitt et de Tamara Rezk.

Thèses en préparation à Rennes 1 , dans le cadre de Mathématiques et Sciences et Technologies de l'Information et de la Communication , en partenariat avec Centre de Recherche Inria Rennes – Bretagne Atlantique (CRIRBA) (equipe de recherche) depuis le 16-09-2019 .

mots clés

• Semantiques
• Language Multi-niveaux
• Squelettique
• Formalisme

Pas de résumé en français disponible.

mots clés

• Formal Methods
• Semantics
• Skeletal

Titre traduit

Formal Semantics of Multitier Languages

Pas de résumé disponible.