●若(M,…,.P,Q)∈ Cal i chain(Q),且Q的层数为N 则有 Dec achain(Q)= Dec achain(P)NQ ●设[AR(M,…,AR(P),AR(Q)]∈ Dynami in(Q),且Q 的层数为N,则有: VarVisitEny (AR(Q))=VarVisitEnv(AR (Pi))N AR(Q) PROC P: lPROC P: PROC P. TPROC Q: ●●●●● B egIn Beg in PROC Q PROC P Q LEnd Begin end Begin Q End End ●● PROC Q Begin Q End Begin End Begin. end 若(M,…,P,Q)CallChain(Q)，且Q的层数为N， 则有 DeclaChain(Q)= DeclaChain(P)N  Q  设[AR(M),…,AR(Pi),AR(Qj)]DynamicChain(Q),且Q 的层数为N，则有： VarVisitEnv(AR(Qj))=VarVisitEnv(AR(Pi))N AR(Qj) PROC P; … … Begin Q End PROC P; Begin Q End … … PROC Q; Begin …end PROC P; … … PROC Q Begin End … … Begin Q End PROC Q; … … PROC P; Begin Q End Begin End