Non-intrusive formal methods and strategic rewriting for a chemical application - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

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

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.
Fichier principal
Vignette du fichier
AIK-05.pdf (290.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00115521 , version 1 (21-11-2006)

Identifiers

Cite

Oana Andrei, Liliana L. Ibanescu, Hélène Kirchner. Non-intrusive formal methods and strategic rewriting for a chemical application. Algebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego, USA, pp.194-215, ⟨10.1007/11780274⟩. ⟨inria-00115521⟩
97 View
321 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More