Tom: Piggybacking Rewriting on Java. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom furnishes a bridge between a general purpose language and higher level specifications that use rewriting. This approach was motivated by the promotion of rewriting techniques and their integration in large scale applications. Powerful matching capabilities along with a rich strategy language are among Tom’s strong points, making it easy to use and competitive with other rule based languages.

References in zbMATH (referenced in 19 articles )

Showing results 1 to 19 of 19.
Sorted by year (citations)

  1. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason: Labelled graph rewriting meets social networks (2016)
  2. Ciobanu, Gabriel; Koutny, Maciej; Steggles, Jason: Strategy based semantics for mobility with time and access permissions (2015)
  3. Kirchner, Hélene: Rewriting strategies and strategic rewrite programs (2015)
  4. Belkhir, Walid; Giorgetti, Alain; Lenczner, Michel: A symbolic transformation language and its application to a multiscale method (2014)
  5. López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier: Stratagem: a generic Petri net verification framework (2014)
  6. Meseguer, José: Twenty years of rewriting logic (2012)
  7. Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne: Anti-patterns for rule-based languages (2010)
  8. Durán, Francisco; Roldán, Manuel; Bach, Jean-Christophe; Balland, Emilie; van den Brand, Mark; Cordy, James R.; Eker, Steven; Engelen, Luc; de Jonge, Maartje; Kalleberg, Karl Trygve; Kats, Lennart C.L.; Moreau, Pierre-Etienne; Visser, Eelco: The third rewrite engines competition (2010)
  9. Andrei, Oana; Kirchner, Hélène: A higher-order graph calculus for autonomic computing (2009)
  10. Andrei, Oana; Kirchner, Hélène: A port graph calculus for autonomic computing and invariant verification (2009)
  11. Andrei, Oana; Lucanu, Dorel: Strategy-based proof calculus for membrane systems (2009)
  12. Durán, Francisco; Roldán Manuel; Balland, Emilie; van den Brand, Mark; Steven, Eker; Kalleberg, Karl Trygve; Kats, Lennart C.L.; Moreau, Pierre-Etienne; Schevchenko, Ruslan; Visser, Eelco: The second rewrite engines competition (2009) ioport
  13. Fages, François; Martin, Julien: From rules to constraint programs with the Rules2CP modelling language (2009)
  14. Hurlin, Clément: Automatic parallelization and optimization of programs by proof rewriting (2009)
  15. Jay, Barry: Pattern calculus. Computing with functions and structures (2009)
  16. Andrei, Oana; Kirchner, Hélène: A rewriting calculus for multigraphs with ports (2008)
  17. Balland, Emilie; Moreau, Pierre-Etienne; Reilles, Antoine: Rewriting strategies in Java (2008) ioport
  18. Balland, Emilie; Brauner, Paul; Kopetz, Radu; Moreau, Pierre-Etienne; Reilles, Antoine: Tom: Piggybacking rewriting on Java (2007) ioport
  19. Andrei, Oana; Ibanescu, Liliana; Kirchner, Hélène: Non-intrusive formal methods and strategic rewriting for a chemical application (2006)