6th International School on Rewriting >> Rewriting Logic and Applications

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.

<< Back to Previous Page.