6th International School on Rewriting
July 16th - 20th, 2012. Valencia, Spain
RLA: Rewriting Logic and Applications
Rewriting logic was introduced by J. Meseguer in 1990 as a unifying framework for concurrency. It is a simple logic to specify, reason about, and program concurrent and distributed systems. During the more than 20 years that have passed since its introduction, a large body of work by researchers around the world has contributed to the development of several aspects of the logic and its applications in many different areas of Computer Science.
In this course we will provide first an introduction to rewriting logic and its semantics, discussing in particular the reflective properties enjoyed by the logic. Then, we will comment some of the languages whose foundations are based on rewriting logic, such as CafeOBJ, Elan, and Maude, and some formal tools developed to prove properties of specifications written in such languages (termination, confluence, coherence, etc.). Finally, we will survey the main areas of application, including the uses of rewriting Logic as a logical and semantic framework, the rewriting logic semantics program and the K framework, security applications, real-time extensions, and bioinformatics.
