Moreover, we introduce aset of semantics-preserving STG transformations, whichare,inparticular, usedinour decomposition algorithm.
確定! 回上一頁