A Rewrite Stack Machine for ROC! Abstract: ROC! is a deterministic rewrite strategy language which includes the rewrite rules as basic operators, ...
確定! 回上一頁