Tom: Piggybacking rewriting on Java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4533 LNCS, Issue , 2007, Pages 36-47

  Bailand, Emilie ^a   Brauner, Paul ^a   Kopetz, Radu ^b   Moreau, Pierre Etienne ^b   Reilles, Antoine ^a  

^a Loria ^*

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH LEVEL CONSTRUCTS; REWRITING COMMUNITY;

LOGIC PROGRAMMING; PATTERN MATCHING;

JAVA PROGRAMMING LANGUAGE;

EID: 38049178772     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (17)

1. Balland, E., Kirchner, C., Moreau, P.-E.: Formal islands. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 51-65. Springer, Heidelberg (2006)
2. Borovanský, P., Kirchner, C., Kirchner, H.: Controlling rewriting by rewriting. In: Meseguer, J. (ed.) Proceedings of WRLA 1996. ENTCS, vol. 4, Elsevier Science Publishers, North-Holland, Amsterdam (1996)
3. Borovanský, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Ringeissen, C.: An overview of ELAN. In: Kirchner, C., Kirchner, H. (eds.) Proceedings of WRLA 1998. ENTCS, vol. 15, Elsevier Science Publishers, Amsterdam (1998)
4. Brand, M., Deursen, A., Heering, J., Jong, H., Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P., Scheerder, J., Vinju, J., Visser, E., Visser, J.: The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. In: Wilhelm, R. (ed.) CC 2001 and ETAPS 2001. LNCS, vol. 2027, pp. 365-370. Springer, Heidelberg (2001)
5. Brand, M., Klint, P., Olivier, P.: Compilation and Memory Management for ASF+SDF. Compiler Construction 1575, 198-213 (1999)
6. Brauner, P., Houtmann, C., Kirchner, C.: Principles of superdeduction. In: LICS, (To appear) (January 2007)
7. Cirstea, H., Kirchner, C.: The rewriting calculus -Part I and II. Logic Journal of the Interest Group in Pure, and Applied Logics 9(3), 427-498 (2001)
8. Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C.: The maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76-87. Springer, Heidelberg (2003)
9. Kirchner, C., Kopetz, R., Moreau, P.: Anti-pattern matching. In: Proceedings of the 16th European Symposium on Programming. LNCS, vol. 4421, pp. 110-124. Springer, Heidelberg (2007)
10. Kirchner, C., Moreau, P.-E., Reilles, A.: Formal validation of pattern matching code. In: Barahone, P., Felty, A. (eds.) Proceedings of PPDP 2005, pp. 187-197. ACM Press, New York (2005)
11. Leroy, X.: The objective caml system release 3.09 http://caml.inria.fr/
12. Moreau, P.-E., Ringeissen, C., Vittek, M.: A Pattern Matching Compiler for Multiple Target Languages. In: Hedin, G. (ed.) CC 2003 and ETAPS 2003. LNCS, vol. 2622, pp. 61-76. Springer, Heidelberg (2003)
13. Reilles, A.: Canonical abstract syntax trees. In: Proceedings of WRLA 2006 ENTCS (To appear) (2006)
14. van den Brand, M., de Jong, H., Klint, P., Olivier, P.: Efficient annotated terms. Software, Practice and Experience 30(3), 259-291 (2000)
15. van den Brand, M., Moreau, P.-E., Vinju, J.: A generator of efficient strongly typed abstract syntax trees in Java. In: IEE Proceedings - Software Engineering, vol. 152(2) pp. 70-78 (December 2005)
16. Visser, E., Benaissa, Z.-e.-A., Tolmach, A.: Building program optimizers with rewriting strategies. In: Proceedings of the third ACM SIGPLAN international conference on Functional programming, pp. 13-26. ACM Press, New York, USA (1998)
17. Visser, J.: Visitor combination and traversal control. In: Proceedings of the 16th ACM SIGPLAN conference on OOPSLA, pp. 270-282. ACM Press, NY, USA (2001)