Term Rewriting Systems with Minimal Magic

Walters, Pum

doi:10.6084/m9.figshare.19314083.v1

Term Rewriting Systems with Minimal Magic

book

posted on 2022-03-06, 15:41 authored by Pum WaltersPum Walters

In 100 pages, a theory of term rewriting systems is defined from simple principles, and an implementation is developed. Several term-rewriting design patterns are presented, including converting a C program to a TRS and vice versa.

History

Usage metrics

Keywords

term rewriting systems Implementation Theory of Term Rewriting Compiler Interpreter abstract machine Computational Logic and Formal Languages Programming Languages Theoretical Computer Science

Licence

CC BY 4.0

Term Rewriting Systems with Minimal Magic

History

Usage metrics

Categories

Keywords

Licence

Exports