Tom 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 all top 5 Cited by 48 Authors 7 Kirchner, Hélène 5 Andrei, Oana 3 Moreau, Pierre-Etienne 2 Cirstea, Horatiu 2 Fernández, Maribel 2 Martí-Oliet, Narciso 2 Pinaud, Bruno 2 Pita, Isabel 2 Rubio, Rubén 2 Verdejo, Alberto 1 Bach, Jean-Christophe 1 Balland, Emilie 1 Belkhir, Walid 1 Ciobanu, Gabriel 1 Cordy, James R. 1 de Jonge, Maartje 1 Dundua, Besik 1 Durán, Francisco 1 Eker, Steven 1 Engelen, Luc 1 Fages, François 1 Florido, Mário 1 Giorgetti, Alain 1 Hurlin, Clément 1 Ibanescu, Liliana 1 Jay, C. Barry 1 Kalleberg, Karl Trygve 1 Kats, Lennart C. L. 1 Kirchner, Claude 1 Kopetz, Radu 1 Koutny, Maciej 1 Kutsia, Temur 1 Lenczner, Michel 1 Lermusiaux, Pierre F. J. 1 Lucanu, Dorel 1 Marin, Mircea 1 Martin, Julien 1 Meseguer Guaita, José 1 Nuno Macedo, José 1 Resler, R. Daniel 1 Roldán, Manuel 1 Saraiva, João Tomé 1 Steggles, Jason 1 Vallet, Jason 1 van den Brand, Mark G. J. 1 Viera, Marcos 1 Visser, Eelco 1 Winter, Victor L. all top 5 Cited in 7 Serials 2 Journal of Symbolic Computation 2 Journal of Logical and Algebraic Methods in Programming 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Computer Languages, Systems & Structures all top 5 Cited in 7 Fields 22 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year