本文对直接递归过程与间接递归过程的谓词变换语义给出了形式化的定义。

This paper presents the formal definitions of predicate transformer seman-rics for both direct and indirect recursive procedures using the concept of WP.

youdao

本文对直接递归过程与间接递归过程的谓词变换语义给出了形式化的定义。

This paper presents the formal definitions of predicate transformer seman-rics for both direct and indirect recursive procedures using the concept of WP.

youdao