Rewriting in Practice

Citation

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

Abstract

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.

↓ View online

Read more from SRI

  • surgeons around a surgical robot

    The SRI research behind today’s surgical robotics

    Intuitive’s da Vinci 5 system represents a major leap in robotic-assisted medicine. It all started at SRI, which continues to advance teleoperation technologies.

  • a collage of digital graphs

    A banner year for quantum

    SRI-managed QED-C’s annual report on quantum trends captures an industry accelerating rapidly from technical promise toward major global impact.

  • ICE Cube containing SRI’s aerogel experiment, photographed prior to launch. Source: Aerospace Applications North America

    An SRI carbon capture experiment launches into space

    By synthesizing carbon-absorbing aerogels in microgravity, SRI research will give us a rare glimpse into how these materials could be radically improved.