3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Shunya Oguchi, Shoji Yuen
We present a reversible intermediate language with concurrency for translating a high-level concurrent programming language to another lower-level concurrent programming language,…