s'authentifier
version française rss feed
Fiche détaillée Thèses
Institut National Polytechnique de Grenoble - INPG (22/11/1989), Didier Bert (Dir.)
Liste des fichiers attachés à ce document : 
PDF
Drabik.Pascal_1989_these.pdf(19.7 MB)
Validation sémantique dans les théories structurées : application à un langage de programmation générique
Pascal Drabrik1

La spécification par type abstrait algébrique permet de décrire le comportement de structures de données particulières telles que les files, piles, arbres, etc. D'autre part, la généricité permet de spécifier le comportement de classes de structures. Nous nous intéressons dans cet ouvrage aux types abstraits génériques exprimes dans le formalisme algébrique. Ces spécifications génériques sont souvent liées entre elles par des relations telles que l'importation, la paramétrisation, etc. Toute instance d'une spécification générique s1, paramétrée par une spécification s2, doit vérifier des conditions décrites formellement dans s2. En général, ce type de vérification se traduit par la démonstration de formules logiques dans une théorie particulière. Nous définissons les différentes relations sémantiques qu'il faut valider dans le cadre d'un langage de programmation générique. Nous montrons également les principales caractéristiques de notre implémentation. Celle-ci aide a réaliser les validations sémantiques en utilisant un démonstrateur semi-automatique de théorèmes. Les expériences réalisées avec notre implantation nous ont conduit a constater le besoin de la réutilisation de démonstrations. Aussi avons nous propose les fonctionnalités d'un atelier de démonstration en utilisant le formalisme algébrique
1 :  IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
abstraction – type abstrait – spécification algébrique – programmation fonctionnelle – démonstrateur de théorème – généricité – paramétrisation – validation sémantique – théorie structurée

Semantic validation for structured theories: application to a generic programming language
.

tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...