operational semantics, domain-specific language, work stealing, load balancing, task parallel processing, termination, confluence, rewriting, concurrency
solver, termination, confluence, rewriting