4 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Sergio Antoy, Steven Libby
Bubbling is a run-time graph transformation studied for the execution of non-deterministic steps in functional logic computations. This transformation has been proven correct, but…