The Community for Technology Leaders
Software Engineering Advances, International Conference on (2006)
Tahiti, French Polynesia
Oct. 29, 2006 to Nov. 3, 2006
ISBN: 0-7695-2703-5
pp: 34
Agnes Arnould , Universite de Poitiers, France
Laurent Fuchs , Universite de Poitiers, France
Marc Aiguier , Universite d'Evry, France
Thibaud Brunet , Universite de Poitiers, France
ABSTRACT
In this paper, we present a code generator transforming a class of CASL specifications into O'Caml programs. This code generator is dedicated to rapid prototyping of CASL specifications especially in the area of geometric modeling where algebraic formalisms have been used since the last decade. <p>A large class of constructive equational specifications is handled by this generator while insuring the correctness of generated O'Caml programs. In particular, CASL specifications with many interpretation models (i.e. incomplete) are automatically supplemented in order to produce a program that implements one of them. Underlying properties, such as termination, completeness and confluence hold when equations satisfy some syntactic criteria given in the paper.</p>
INDEX TERMS
null
CITATION

A. Arnould, L. Fuchs, T. Brunet and M. Aiguier, "Automatic Generation of Functional Programs from CASL Specifications," 2006 International Conference on Software Engineering Advances(ICSEA), Tahiti, 2006, pp. 34.
doi:10.1109/ICSEA.2006.24
93 ms
(Ver 3.3 (11022016))