Rewriting Logic Systems

Authors:
Grit Denker;Carolyn Talcott;Grigore Rosu;Mark van den Brand;Steven Eker;Traian Florin Şerbănuţă
Affiliations:
SRI International;SRI International;University of Illinois Urbana-Champaign;Technical University Eindhoven (TU/e), Netherlands;SRI International;University of Illinois Urbana-Champaign
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Efficient annotated terms

Software—Practice & Experience
Compiling language definitions: the ASF+SDF compiler

ACM Transactions on Programming Languages and Systems (TOPLAS)
Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
Reflection in conditional rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
Term rewriting with traversal functions

ACM Transactions on Software Engineering and Methodology (TOSEM)
Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories

Journal of Functional Programming
A ρ-Calculus of Explicit Constraint Application

Electronic Notes in Theoretical Computer Science (ENTCS)
The maude 2.0 system

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
A pattern matching compiler for multiple target languages

CC'03 Proceedings of the 12th international conference on Compiler construction
Applications of the ASF+SDF meta-environment

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

The Second Rewrite Engines Competition

Electronic Notes in Theoretical Computer Science (ENTCS)
The third rewrite engines competition

WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications

Hi-index	0.00

We present an overview of rewriting-based systems that were presented at the workshop.