Automatic generation of functional programs from CASL specifications

Arnould A., Fuchs L., Aiguier M., Brunet T.

International Conference on Software Engineering Advances (ICSEA 2006), à paraître - October 2006

Download the publication:

In this paper, we present a code generator transforming a class of CASL specifications into OCAML 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 OCAML 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.

BibTex references

@InProceedings{AFAB2006_1444,

	author	= {Arnould, A. and Fuchs, L. and Aiguier, M. and Brunet, T.},
	title	= {Automatic generation of functional programs from CASL specifications.},
	booktitle	= {International Conference on Software Engineering Advances (ICSEA 2006)},
	month	= {October},
	year	= {2006},
	publisher	= {IEEE Computer Society Press},
	address	= {Tahiti, French Polynesia},
	note	= {\`a para\^{\i}tre},

}