Development of Transformation Functions Assisted by a Theorem Prover - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Development of Transformation Functions Assisted by a Theorem Prover

Résumé

Transformational approach requires to write transformation functions that ensure properties C1 and C2. Proving these conditions on complex typed objects is a serious bottleneck for the application of this approach. We propose to use a theorem prover to assist the development of safe transformation functions. In this paper, we present how we have designed in that way a set of safe transformation functions for an XML typed object.
Fichier principal
Vignette du fichier
A02-R-161.pdf (390.5 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00107574 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107574 , version 1

Citer

Imine Abdessamad, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Development of Transformation Functions Assisted by a Theorem Prover. Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p. ⟨inria-00107574⟩
329 Consultations
134 Téléchargements

Partager

Gmail Facebook X LinkedIn More