Non-intrusive formal methods and strategic rewriting for a chemical application

Oana Andrei 1 Liliana Ibanescu 1 Hélène Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The concept of formal islands allows adding to existing programming languages, formal features that can be compiled later on into the host language itself, therefore inducing no dependency on the formal language. We illustrate this approach with the Tom system that provides matching, normalization and strategic rewriting, and we give a formal island implementation for the simulation of a chemical reactor.
Type de document :
Communication dans un congrès
Kokichi Futatsugi and Jean-Pierre Jouannaud and José Meseguer. Algebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego, USA, Springer Verlag, 4060, pp.194-215, 2006, Lecture Notes in Computer Science. 〈10.1007/11780274〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00115521
Contributeur : Oana Andrei <>
Soumis le : mardi 21 novembre 2006 - 16:44:02
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57
Document(s) archivé(s) le : mardi 6 avril 2010 - 23:10:51

Fichiers

AIK-05.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Oana Andrei, Liliana Ibanescu, Hélène Kirchner. Non-intrusive formal methods and strategic rewriting for a chemical application. Kokichi Futatsugi and Jean-Pierre Jouannaud and José Meseguer. Algebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego, USA, Springer Verlag, 4060, pp.194-215, 2006, Lecture Notes in Computer Science. 〈10.1007/11780274〉. 〈inria-00115521〉

Partager

Métriques

Consultations de la notice

197

Téléchargements de fichiers

162