Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, ... stk, mem) = (n, stk, mem) Step (JMZ n) i (pc, stk, mem) = (if (Hd stk = 0) then n ...
確定! 回上一頁