Work

Development of Transformation Functions Assisted by a Theorem Prover

Year: 2002

Type: conference-paper

Abstract: 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.

Source: HAL

Authors: Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1488191824

FWCI: 1.871

Cites: 10

Cited by: 13

Related to: 10