@article{f801a1b8697247cdb2dd645622077a3f,
title = "Twenty years of rewriting logic",
abstract = "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 automated deduction, software and hardware specification and verification, security, real-time and cyber-physical systems, probabilistic systems, bioinformatics and chemical systems.",
keywords = "Bioinformatics, Concurrency, Formal specification and verification, Logical frameworks, Networks and distributed systems, Probabilistic systems, Programming language semantics, Real-time systems, Rewriting logic, Security, Temporal logics",
author = "Jos{\'e} Meseguer",
note = "Funding Information: I thank the organizers of WRLA 2010 for giving me the opportunity and the stimulus to do some reflecting, surveying, and guessing about rewriting logic at this point, when twenty years have passed since the first papers were published, for their further encouragement to turn my WRLA lecture into a survey paper, and for their patience in allowing me the necessary time to finish it. As already mentioned, I feel a debt of gratitude to the many gifted researchers who have made important contributions to the rewriting logic research program. I have benefitted from very helpful comments to improve the exposition by the referees and by Francisco Dur{\'a}n, Santiago Escobar, Maribel Fern{\'a}ndez, Kokichi Futatsugi, Alwyn Goodloe, H{\'e}l{\`e}ne Kirchner, Alberto Lluch, Narciso Mart{\'i}-Oliet, Peter {\"O}lveczky, Miguel Palomino, Camilo Rocha, Carolyn Talcott, Cesare Tinelli and Alberto Verdejo (I apologize if I inadvertedly omitted anybody). This work has been supported in part by NSF Grants CNS 07-16638, CNS 08-34709, CNS 08-31064, CNS 09-04749, and CCF 09-05584, AFOSR Grant FA8750-11-2-0084, and the “Programa de Apoyo a la Investigaci{\'o}n y Desarrollo” (PAID-02-11) of the Universitat Polit{\`e}cnica de Val{\`e}ncia.",
year = "2012",
month = oct,
doi = "10.1016/j.jlap.2012.06.003",
language = "English (US)",
volume = "81",
pages = "721--781",
journal = "Journal of Logic Programming",
issn = "1567-8326",
publisher = "Elsevier Inc.",
number = "7-8",
}