... through the semantics of the simpler language LOL.it A (see section 2.3). ... The programs P1, ..., Pm form a stratification of P iff P = T1 GB .
確定! 回上一頁