The Third Rewrite Engines Competition

14 years 9 months ago

Download research.cs.queensu.ca

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.

Francisco Durán, Manuel Roldán, Jean

Real-time Traffic

Competition | Logical Reasoning | REC III | Third Rewrite Engines | WRLA 2010 |

claim paper

» The Termination Competition

» Rewriting Rules into SROIQ Axioms

» A Hierarchy of Semantics for Nondeterministic Term Rewriting Systems

» METRIC Tracking Down Inefficiencies in the Memory Hierarchy via Binary Rewriting

» Formal JVM Code Analysis in JavaFAN

» Analysing Google rankings through search engine optimization data

» A ClusterBased Plagiarism Detection Method Lab Report for PAN at CLEF 2010

» Searching with context

Post Info
More Details (n/a)

Added	31 Jan 2011
Updated	31 Jan 2011
Type	Journal
Year	2010
Where	WRLA
Authors	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

Comments (0)

Sciweavers

The Third Rewrite Engines Competition

Competition | Logical Reasoning | REC III | Third Rewrite Engines | WRLA 2010 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers