哲学杂志철학 학술지哲学のジャーナルEast Asian
Journal of
Philosophy

Home > Book Series > Edited Book > Contribution

Publication details

Publisher: Springer

Place: Berlin

Year: 2006

Pages: 194-215

Series: Lecture Notes in Computer Science

ISBN (Hardback): 9783540354628

Full citation:

Oana Andrei, Liliana Ibanescu, Helene Kirchner, "Non-intrusive formal methods and strategic rewriting for a chemical application", in: Algebra, meaning, and computation, Berlin, Springer, 2006

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.

Publication details

Publisher: Springer

Place: Berlin

Year: 2006

Pages: 194-215

Series: Lecture Notes in Computer Science

ISBN (Hardback): 9783540354628

Full citation:

Oana Andrei, Liliana Ibanescu, Helene Kirchner, "Non-intrusive formal methods and strategic rewriting for a chemical application", in: Algebra, meaning, and computation, Berlin, Springer, 2006