Rewriting in Practice


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.


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.

Read more from SRI