Development of Transformation Functions Assisted by a Theorem Prover - Inria - Institut national de recherche en sciences et technologies du numérique
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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
A02-R-161.pdf (390.5 Ko) Télécharger le fichier

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00107574

Soumis le : jeudi 19 octobre 2006-09:01:55

Dernière modification le : jeudi 1 février 2024-10:04:00

Archivage à long terme le : mercredi 29 mars 2017-13:20:52

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA UNIV-FCOMTE UNIV-BM IRISA FEMTO-ST UNIV-BM-THESE UNIV-LORRAINE INRIA2 LORIA LORIA-FM UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
346 Consultations
156 Téléchargements

Partager

More