Automatic generation of functional programs from CASL specifications

Agnès Arnould 1 Marc Aiguier 2 Laurent Fuchs 1 Thibaud Brunet 1
1 SIC - SIGNAL-IMAGE-COMMUNICATION
2 OPAL
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
Abstract : 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.
Keywords : Functional programming Program compilers Software prototyping Specification languages
Type de document :
Communication dans un congrès
International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), 2006, 〈10.1109/ICSEA.2006.261290〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-00341983
Contributeur : Frédéric Davesne <>
Soumis le : vendredi 17 janvier 2014 - 14:43:08
Dernière modification le : vendredi 29 juin 2018 - 12:14:29
Document(s) archivé(s) le : vendredi 18 avril 2014 - 11:21:19

Fichier

icsea06.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

UNIV-POITIERS | IBISC | MAS | EC-PARIS | MICS

Citation

Agnès Arnould, Marc Aiguier, Laurent Fuchs, Thibaud Brunet. Automatic generation of functional programs from CASL specifications. International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), 2006, 〈10.1109/ICSEA.2006.261290〉. 〈hal-00341983〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

230

Téléchargements de fichiers

82

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD