Skip to main content

The Third Rewrite Engines Competition

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNTCS,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.

Keywords

  • Program Transformation
  • Computational Linguistics
  • Concrete Syntax
  • Linear Time Temporal Logic
  • Automatic Translation

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-16310-4_16
  • Chapter length: 19 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-16310-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    CrossRef  Google Scholar 

  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)

    MathSciNet  CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  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)

    MathSciNet  CrossRef  MATH  Google Scholar 

  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)

    MATH  Google Scholar 

  6. Cordy, J.R.: The TXL source transformation language. Science of Computer Programming 61(3), 190–210 (2006)

    MathSciNet  CrossRef  MATH  Google Scholar 

  7. Cordy, J.R., Halpern, C., Promislow, E.: TXL: A rapid prototyping system for programming language dialects. Computer Languages 16(1), 97–107 (1991)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  9. Denker, G., Talcott, C. (eds.): 6th Intl. Workshop on Rewriting Logic and its Applications, vol. 176. Elsevier, Amsterdam (2007)

    Google Scholar 

  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)

    CrossRef  Google Scholar 

  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. 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. 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. Shevchenko, R., Doroshenko, A.: A rewriting framework for rule-based programming dynamic applications. Fundamenta Informaticae 72(1-3), 95–108 (2006)

    MATH  Google Scholar 

  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. 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. 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)

    CrossRef  Google Scholar 

  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. 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)

    CrossRef  Google Scholar 

  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)

    CrossRef  Google Scholar 

  21. van Deursen, A., Heering, J., Klint, P.: Language Prototyping: An Algebraic Specification Approach. World Scientific, Singapore (1996)

    CrossRef  MATH  Google Scholar 

  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)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Durán, F. et al. (2010). The Third Rewrite Engines Competition. In: Ölveczky, P.C. (eds) Rewriting Logic and Its Applications. WRLA 2010. Lecture Notes in Computer Science, vol 6381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16310-4_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16310-4_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16309-8

  • Online ISBN: 978-3-642-16310-4

  • eBook Packages: Computer ScienceComputer Science (R0)