termination | STAIR: Software Technology and Artificial Intelligence Research Laboratory

tag: termination

2021.06.15
An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing

operational semantics, domain-specific language, work stealing, load balancing, task parallel processing, termination, confluence, rewriting, concurrency
2019.11.16
Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value

solver, termination, confluence, rewriting