Tiwari, A. (2011). Rewriting in Practice. In: Ong, L. (eds) Typed Lambda Calculi and Applications. TLCA 2011. Lecture Notes in Computer Science, vol 6690. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21691-6_3
The field of rewriting is broadly concerned with manipulating representations of objects so that we go from a larger representation to a smaller representation. The field of rewriting has contributed some fundamental results within the computer science discipline. This extended abstract explores a few impactful applications of rewriting in the areas of (a) design of algorithms, (b) formal modeling and analysis, and (c) term rewriting and theorem proving.