loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Conference on Software Engineering Advances (ICSEA'06)
Automatic Generation of Functional Programs from CASL Specifications
Tahiti, French Polynesia
October 29-November 03
ISBN: 0-7695-2703-5
ASCII Text
x 
 
Agnes Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet, "Automatic Generation of Functional Programs from CASL Specifications," Software Engineering Advances, International Conference on, pp. 34, International Conference on Software Engineering Advances (ICSEA'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ICSEA.2006.24,
author = {Agnes Arnould and Laurent Fuchs and Marc Aiguier and Thibaud Brunet},
title = {Automatic Generation of Functional Programs from CASL Specifications},
journal ={Software Engineering Advances, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2703-5},
pages = {34},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSEA.2006.24},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Advances, International Conference on
TI - Automatic Generation of Functional Programs from CASL Specifications
SN - 0-7695-2703-5
SP
EP
A1 - Agnes Arnould,
A1 - Laurent Fuchs,
A1 - Marc Aiguier,
A1 - Thibaud Brunet,
PY - 2006
KW - null
VL - 0
JA - Software Engineering Advances, International Conference on
ER -
 
Agnes Arnould, Universite de Poitiers, France
Laurent Fuchs, Universite de Poitiers, France
Marc Aiguier, Universite d'Evry, France
Thibaud Brunet, Universite de Poitiers, France
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.

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.

Citation:
Agnes Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet, "Automatic Generation of Functional Programs from CASL Specifications," icsea, pp.34, International Conference on Software Engineering Advances (ICSEA'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.