Tag: termination
Showing 2 posts
-
Publications 2021.06.15
Publications 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
Tatsuya Abe and Tasuku Hiraishi. An Extensionally Equivalence-ensured Language for Task Parallel Processing wi...operational semanticsdomain-specific languagework stealingload balancingtask parallel processingterminationconfluencerewritingconcurrency
-
Publications 2019.11.16
Publications 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
Makoto Hamana, Tatsuya Abe, and Kentaro Kikuchi. Polymorphic Computation Systems: Theory and Practice of Confl...