Term Rewriting

0 0

"Rewriting" is a powerful, but seemingly forgotten, programming paradigm. This talk will shed some light on what rewriting is and what it can do. We'll explore the past, present, and future of term rewriting. In the process, we'll have some fun with Mathematica as well as play with some toy Racket implementations of pattern matching and StrategoXT-style rewriting strategies.

Brandon Bloom on Term Rewriting

"Rewriting" is a powerful, but seemingly forgotten, programming paradigm. This talk will shed some light on what rewriting is and what it can do. We'll explore the past, present, and future of term...