Dynamic Tracing: a graphical language for rewriting protocols.

Kristopher Brown David I. Spivak

Published in: CoRR (2023)

Keyphrases

rewriting rules
metadata
dynamic environments
programming language
query optimization
database systems
language learning
conjunctive queries
modeling language
operational semantics