Tom

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 15 articles )

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

  1. Ciobanu, Gabriel; Koutny, Maciej; Steggles, Jason: Strategy based semantics for mobility with time and access permissions (2015)
  2. Belkhir, Walid; Giorgetti, Alain; Lenczner, Michel: A symbolic transformation language and its application to a multiscale method (2014)
  3. López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier: Stratagem: a generic Petri net verification framework (2014)
  4. Meseguer, José: Twenty years of rewriting logic (2012)
  5. Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne: Anti-patterns for rule-based languages (2010)
  6. 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)
  7. Andrei, Oana; Kirchner, Hélène: A port graph calculus for autonomic computing and invariant verification (2009)
  8. Andrei, Oana; Kirchner, Hélène: A higher-order graph calculus for autonomic computing (2009)
  9. Andrei, Oana; Lucanu, Dorel: Strategy-based proof calculus for membrane systems (2009)
  10. 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)
  11. Jay, Barry: Pattern calculus. Computing with functions and structures (2009)
  12. Andrei, Oana; Kirchner, Hélène: A rewriting calculus for multigraphs with ports (2008)
  13. Balland, Emilie; Moreau, Pierre-Etienne; Reilles, Antoine: Rewriting strategies in Java (2008)
  14. Balland, Emilie; Brauner, Paul; Kopetz, Radu; Moreau, Pierre-Etienne; Reilles, Antoine: Tom: Piggybacking rewriting on Java (2007)
  15. Andrei, Oana; Ibanescu, Liliana; Kirchner, Hélène: Non-intrusive formal methods and strategic rewriting for a chemical application (2006)