The Third Rewrite Engines Competition

  • Francisco Durán
  • Manuel Roldán
  • Jean-Christophe Bach
  • Emilie Balland
  • Mark van den Brand
  • James R. Cordy
  • Steven Eker
  • Luc Engelen
  • Maartje de Jonge
  • Karl Trygve Kalleberg
  • Lennart C. L. Kats
  • Pierre-Etienne Moreau
  • Eelco Visser
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6381)

Abstract

This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Balland, E., Brauner, P., Kopetz, R., Moreau, P.-E., Reilles, A.: Tom: Piggybacking rewriting on java. In: Baader, F. (ed.) RTA 2007. LNCS, vol. 4533, pp. 36–47. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  2. 2.
    Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego/XT 0.17. A language and toolset for program transformation. Science of Computer Programming 72(1-2), 52–70 (2008)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Clavel, M., Durán, F., Eker, S., Escobar, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.L.: Unification and narrowing in Maude 2.4. In: Treinen, R. (ed.) RTA 2009. LNCS, vol. 5595, pp. 380–390. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  4. 4.
    Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science 285, 187–243 (2002)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)MATHGoogle Scholar
  6. 6.
    Cordy, J.R.: The TXL source transformation language. Science of Computer Programming 61(3), 190–210 (2006)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Cordy, J.R., Halpern, C., Promislow, E.: TXL: A rapid prototyping system for programming language dialects. Computer Languages 16(1), 97–107 (1991)CrossRefGoogle Scholar
  8. 8.
    Dean, T.R., Cordy, J.R., Malton, A.J., Schneider, K.A.: Agile parsing in TXL. Automated Software Engineering 10(4), 311–336 (2003)CrossRefGoogle Scholar
  9. 9.
    Denker, G., Talcott, C. (eds.): 6th Intl. Workshop on Rewriting Logic and its Applications, vol. 176. Elsevier, Amsterdam (2007)Google Scholar
  10. 10.
    Denker, G., Talcott, C., Roşu, G., van den Brand, M., Eker, S., Şerbănuţă, T.F.: Rewriting logic systems. Electronic Notes in Theoretical Computer Science 176(4), 233–247 (2007)CrossRefGoogle Scholar
  11. 11.
    Durán, F., Roldán, M., Balland, E., van den Brand, M., Eker, S., Kalleberg, K.T., Kats, L.C.L., Moreau, P.-E., Schevchenko, R., Visser, E.: The second rewrite engines competition. In: Roşu, G. (ed.) Procs. 7th Intl. Workshop on Rewriting Logic and its Applications (WRLA 2008). Electronic Notes in Theoretical Computer Science, vol. 238, pp. 281–291. Elsevier, Amsterdam (2008)Google Scholar
  12. 12.
    Klint, P., van der Storm, T., Vinju, J.: RASCAL: a domain specific language for source code analysis and manipulation. In: 9th IEEE Intl. Working Conf. on Source Code Analysis and Manipulation, pp. 168–177 (2009)Google Scholar
  13. 13.
    Roşu, G. (ed.): Procs. 7th Intl. Workshop on Rewriting Logic and its Applications (WRLA 2008). Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2008)Google Scholar
  14. 14.
    Shevchenko, R., Doroshenko, A.: A rewriting framework for rule-based programming dynamic applications. Fundamenta Informaticae 72(1-3), 95–108 (2006)MATHGoogle Scholar
  15. 15.
    Sloane, A.: Experiences with domain-specific language embedding in Scala. In: Lawall, J., Reveillere, L. (eds.) Procs. of the 2nd Intl. Workshop on Domain-Specific Program Development (2008)Google Scholar
  16. 16.
    Tomita, M.: LR parsers for natural languages. In: Procs. of the 10th Intl. Conf. on Computational Linguistics and 22nd Annual Meeting of Assoc. for Computational Linguistics (ACL-22), pp. 354–357. Assoc. for Computational Linguistics (1984)Google Scholar
  17. 17.
    van den Brand, M.: Applications of the ASF+SDF meta-environment. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 278–296. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  18. 18.
    van den Brand, M.G.J., de Jong, H.A., Klint, P., Olivier, P.A.: Efficient annotated terms. Software: Practice and Experience 30(3), 259–291 (2000)Google Scholar
  19. 19.
    van den Brand, M.G.J., Heering, J., Klint, P., Olivier, P.A.: Compiling language definitions: the ASF+SDF compiler. ACM Transactions on Programming Languages and Systems 24(4), 334–368 (2002)CrossRefGoogle Scholar
  20. 20.
    van den Brand, M.G.J., van 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. LNCS, vol. 2027, pp. 365–370. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  21. 21.
    van Deursen, A., Heering, J., Klint, P.: Language Prototyping: An Algebraic Specification Approach. World Scientific, Singapore (1996)CrossRefMATHGoogle Scholar
  22. 22.
    Visser, E.: Stratego: A language for program transformation based on rewriting strategies. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol. 2051, pp. 357–361. Springer, Heidelberg (2001)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Francisco Durán
    • 1
  • Manuel Roldán
    • 1
  • Jean-Christophe Bach
    • 2
  • Emilie Balland
    • 2
  • Mark van den Brand
    • 3
  • James R. Cordy
    • 4
  • Steven Eker
    • 5
  • Luc Engelen
    • 3
  • Maartje de Jonge
    • 7
  • Karl Trygve Kalleberg
    • 6
  • Lennart C. L. Kats
    • 7
  • Pierre-Etienne Moreau
    • 2
  • Eelco Visser
    • 7
  1. 1.LCC, Universidad de MálagaMálagaSpain
  2. 2.INRIA Nancy - Grand EstVillers-lès-Nancy CedexFrance
  3. 3.Dpt. of Mathematics and Comp. Sci.Eindhoven U. of TechnologyThe Netherlands
  4. 4.School of ComputingQueen’s University at KingstonCanada
  5. 5.Computer Science LaboratorySRI InternationalMenlo ParkUSA
  6. 6.University of BergenBergenNorway
  7. 7.Dpt. of Software TechnologyDelft University of TechnologyThe Netherlands

Personalised recommendations