
Publication details
Publisher: Springer
Place: Berlin
Year: 2006
Pages: 194-215
Series: Lecture Notes in Computer Science
ISBN (Hardback): 9783540354628
Full citation:
, "Non-intrusive formal methods and strategic rewriting for a chemical application", in: Algebra, meaning, and computation, Berlin, Springer, 2006


Non-intrusive formal methods and strategic rewriting for a chemical application
pp. 194-215
in: Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds), Algebra, meaning, and computation, Berlin, Springer, 2006Abstract
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.
Publication details
Publisher: Springer
Place: Berlin
Year: 2006
Pages: 194-215
Series: Lecture Notes in Computer Science
ISBN (Hardback): 9783540354628
Full citation:
, "Non-intrusive formal methods and strategic rewriting for a chemical application", in: Algebra, meaning, and computation, Berlin, Springer, 2006