Author of the publication

Tom: Piggybacking Rewriting on Java.

, , , , and . RTA, volume 4533 of Lecture Notes in Computer Science, page 36-47. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Compiler for Rewrite Programs in Associative-Commutative Theories., and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 230-249. Springer, (1998)REM (Reduce Elan Machine): Core of the New ELAN Compiler.. RTA, volume 1833 of Lecture Notes in Computer Science, page 265-269. Springer, (2000)ELAN from a rewriting logic point of view., , , and . Theor. Comput. Sci., 285 (2): 155-185 (2002)The Second Rewrite Engines Competition., , , , , , , , , and . WRLA, volume 238 of Electronic Notes in Theoretical Computer Science, page 281-291. Elsevier, (2008)Environments for Term Rewriting Engines for Free!, , and . RTA, volume 2706 of Lecture Notes in Computer Science, page 424-435. Springer, (2003)ELAN: A logical framework based on computational systems, , , , and . Proceedings of the first international workshop on rewriting logic, (1996)Editorial., , , , , and . High. Order Symb. Comput., 19 (4): 343-344 (2006)Generic Encodings of Constructor Rewriting Systems., and . PPDP, page 8:1-8:12. ACM, (2019)A Mission Definition, Verification and Validation Architecture., , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 281-287. Springer, (2019)Rewriting Strategies in Java., , and . RULE@RDP, volume 219 of Electronic Notes in Theoretical Computer Science, page 97-111. Elsevier, (2007)