Tag: domain-specific language
Showing 1 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 semanticsconcurrencyrewritingconfluenceterminationtask parallel processingload balancingwork stealingdomain-specific language