Twenty Years of Rewriting Logic

@inproceedings{Meseguer2010TwentyYO,
  title={Twenty Years of Rewriting Logic},
  author={Jos{\'e} Meseguer},
  booktitle={WRLA},
  year={2010}
}
Rewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality. This paper provides a gentle, intuitive introduction to its main ideas, as well as a survey of the work that many researchers have carried out over the last twenty years in advancing: (i) its foundations; (ii) its semantic framework and logical framework uses; (iii) its language implementations and its formal tools; and (iv) its many applications to… CONTINUE READING
Highly Cited
This paper has 78 citations. REVIEW CITATIONS

Topics

Statistics

020402012201320142015201620172018
Citations per Year

78 Citations

Semantic Scholar estimates that this publication has 78 citations based on the available data.

See our FAQ for additional information.