TY - GEN
T1 - Twenty years of rewriting logic
AU - Meseguer, José
N1 - 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án, Santiago Escobar, Maribel Fernández, Kokichi Futatsugi, Alwyn Goodloe, Hélène Kirchner, Alberto Lluch, Narciso Martí-Oliet, Peter Ö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ón y Desarrollo” (PAID-02-11) of the Universitat Politècnica de València.
PY - 2010
Y1 - 2010
N2 - The first three papers on rewriting logic were published in 1990 [4,3,2]; they were then expanded in [5,6]. Since that time, many researchers around the world have made important contributions to its foundations, tools, and applications. Since 1996, the WRLA workshop has met biennially, with the 2010 Paphos meeting being its eighth edition, and many hundreds of papers have been published on the subject (for a bibliography up to 2002 see [1]).
AB - The first three papers on rewriting logic were published in 1990 [4,3,2]; they were then expanded in [5,6]. Since that time, many researchers around the world have made important contributions to its foundations, tools, and applications. Since 1996, the WRLA workshop has met biennially, with the 2010 Paphos meeting being its eighth edition, and many hundreds of papers have been published on the subject (for a bibliography up to 2002 see [1]).
UR - http://www.scopus.com/inward/record.url?scp=78349273964&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78349273964&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-16310-4_2
DO - 10.1007/978-3-642-16310-4_2
M3 - Conference contribution
AN - SCOPUS:78349273964
SN - 3642163092
SN - 9783642163098
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 15
EP - 17
BT - Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers
T2 - 8th International Workshop on Rewriting Logic and Its Applications, WRLA 2010, Held as a Satellite Event of ETAPS 2010
Y2 - 20 March 2010 through 21 March 2010
ER -