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

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

1 2 next

  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 higher-order graph calculus for autonomic computing (2009)
  8. Andrei, Oana; Kirchner, Hélène: A port graph calculus for autonomic computing and invariant verification (2009)
  9. Andrei, Oana; Kirchner, Hélène: A port graph calculus for autonomic computing and invariant verification (2009)
  10. Andrei, Oana; Lucanu, Dorel: Strategy-based proof calculus for membrane systems (2009)
  11. Andrei, Oana; Lucanu, Dorel: Strategy-based proof calculus for membrane systems (2009)
  12. Cirstea, Horatiu; Moreau, Pierre-Etienne; De Oliveira, Anderson Santana: Rewrite based specification of access control policies (2009)
  13. Durán, Francisco; Roldán, Manuel; Balland, Emilie; Den Brand, Mark Van; Eker, Steven; Kalleberg, Karl Trygve; Kats, Lennart C.L.; Moreau, Pierre-Etienne; Schevchenko, Ruslan; Visser, Eelco: The second rewrite engines competition (2009)
  14. 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)
  15. Heradio, Ruben; Cerrada, José Antonio; Ruiz, J.C.López; Coz, J.R.: Code generation with the exemplar flexibilization language (2009)
  16. Jay, Barry: Pattern calculus. Computing with functions and structures (2009)
  17. Kirchner, Claude; Kirchner, Hélène; De Oliveira, Anderson Santana: Analysis of rewrite-based access control policies (2009)
  18. Andrei, Oana; Kirchner, Hélène: A rewriting calculus for multigraphs with ports. (2008)
  19. Andrei, Oana; Kirchner, Hélène: A rewriting calculus for multigraphs with ports (2008)
  20. Balland, Emilie; Moreau, Pierre-Etienne; Reilles, Antoine: Rewriting strategies in java. (2008)

1 2 next