本文提出了一种以adl语言为基础的程序展开方法。
This paper presents a program development method based on the programming language ADL and a set of its transformation rules.
在程序展开的理论基础上，本文提出了一种通过求解程序方程来进行程序转换的方法。
Based on the theory of orthogonal program expansion, a method to transform programs by solving program equations is proposed.
“我们谨此陈除此之外，有信心，和方面的法官(红场)鲍姆，作为这种情况下的法律程序展开了”。
Beyond that, we have confidence in, and respect for, Judge (Redfield) Baum and the legal process as this case unfolds.
应用推荐