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

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

1 2 next

  1. Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea: CLP($\mathsfH$): constraint logic programming for hedges (2016)
  2. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason: Labelled graph rewriting meets social networks (2016)
  3. Ciobanu, Gabriel; Koutny, Maciej; Steggles, Jason: Strategy based semantics for mobility with time and access permissions (2015)
  4. Kirchner, Hélene: Rewriting strategies and strategic rewrite programs (2015)
  5. Belkhir, Walid; Giorgetti, Alain; Lenczner, Michel: A symbolic transformation language and its application to a multiscale method (2014)
  6. López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier: Stratagem: a generic Petri net verification framework (2014)
  7. Meseguer, José: Twenty years of rewriting logic (2012)
  8. Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne: Anti-patterns for rule-based languages (2010)
  9. 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)
  10. Andrei, Oana; Kirchner, Hélène: A port graph calculus for autonomic computing and invariant verification (2009)
  11. Andrei, Oana; Kirchner, Hélène: A higher-order graph calculus for autonomic computing (2009)
  12. Andrei, Oana; Lucanu, Dorel: Strategy-based proof calculus for membrane systems (2009)
  13. 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
  14. Fages, François; Martin, Julien: From rules to constraint programs with the Rules2CP modelling language (2009)
  15. Hurlin, Clément: Automatic parallelization and optimization of programs by proof rewriting (2009)
  16. Jay, Barry: Pattern calculus. Computing with functions and structures (2009)
  17. Resler, R.Daniel; Winter, Victor: A higher-order strategy for eliminating common subexpressions (2009)
  18. Andrei, Oana; Kirchner, Hélène: A rewriting calculus for multigraphs with ports (2008)
  19. Balland, Emilie; Moreau, Pierre-Etienne; Reilles, Antoine: Rewriting strategies in Java (2008) ioport
  20. Balland, Emilie; Brauner, Paul; Kopetz, Radu; Moreau, Pierre-Etienne; Reilles, Antoine: Tom: Piggybacking rewriting on Java (2007) ioport

1 2 next