Skip to main content
Book cover

International Workshop on Rewriting Logic and its Applications

WRLA 2010: Rewriting Logic and Its Applications pp 243–261Cite as

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.

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)
Learn about institutional subscriptions

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

  1. LCC, Universidad de Málaga, Málaga, Spain

    Francisco Durán & Manuel Roldán

  2. INRIA Nancy - Grand Est, Villers-lès-Nancy Cedex, France

    Jean-Christophe Bach, Emilie Balland & Pierre-Etienne Moreau

  3. Dpt. of Mathematics and Comp. Sci., Eindhoven U. of Technology, The Netherlands

    Mark van den Brand & Luc Engelen

  4. School of Computing, Queen’s University at Kingston, Canada

    James R. Cordy

  5. Computer Science Laboratory, SRI International, Menlo Park, CA, USA

    Steven Eker

  6. University of Bergen, Bergen, Norway

    Karl Trygve Kalleberg

  7. Dpt. of Software Technology, Delft University of Technology, The Netherlands

    Maartje de Jonge, Lennart C. L. Kats & Eelco Visser

Authors
  1. Francisco Durán
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manuel Roldán
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jean-Christophe Bach
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Emilie Balland
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Mark van den Brand
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. James R. Cordy
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Steven Eker
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Luc Engelen
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Maartje de Jonge
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Karl Trygve Kalleberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Lennart C. L. Kats
    View author publications

    You can also search for this author in PubMed Google Scholar

  12. Pierre-Etienne Moreau
    View author publications

    You can also search for this author in PubMed Google Scholar

  13. Eelco Visser
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Informatics, University of Oslo, Gaustadalléen 23, 0373, Oslo, Norway

    Peter Csaba Ölveczky

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)