swMATH ID: 9814
Software Authors: Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles
Description: 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.
Homepage: http://link.springer.com/chapter/10.1007/978-3-540-73449-9_5
Related Software: Stratego; Maude; ASF+SDF; ELAN; PORGY; Haskell; GP 2; visone; Mathematica; TXL; AGG; GROOVE; AProVE; K Prover; ORME; LTSmin; PMaude; HOCL; ATERM; CafeOBJ
Cited in: 22 Publications

Citations by Year