归程

Where is the way to home?

何处是归程？

May God be with you, and watch over thee until my return.

神主与在, 当睹卿待吾之归程.

The answer is that it uses a recursive process.

答案就是它使用一个递归程序.

The longest way round is the shortest way home.

绕道似最远,归程是捷径.

Recursive programs often need a seed value to start with.

递归程序通常需要一个开始时使用的种子值（seed value）。

She procrastinated her return on varions pretexts.

她以多种借口推迟归程.

where will we go& on woman life redemption consciousness of jin zhi in field of life and death

何处是归程&《生死场》金枝的女性生命救赎意识解读

It is a long walk to the town. The return journey was made over the same route.

到城里要走很长的路程。归程走的是同一路线。

The paper includes concept of Pro-graph, state alignment, and termination problem of recursive program.

其中包括Pro图的概念和Pro图的状态序列及递归程序的终止问题。

Return to Procedural Justice: The Remoulding of Modern Judicial Concept

现代司法理念的重塑&回归程序正义

Guicheng long, at the home, he went to visit who sheikhs.

归程漫漫, 到了家乡, 他又去拜访那位族长.

Bitterly disappointed, Scott and his companions set out on the return journey.

斯科特和他的伙伴们十分失望, 便起身踏上归程.

A New Pattern of Recursive Program Transformation& CZ Transformation

递归程序变换的一种新模式一CZ变换

Scott and his companions set out on the return journey.

斯科特和他的伙伴们起身踏上归程.

A new algorithm A# that is a revision of A given in Ref. [ 1] is developed without the introduction of the induction principle. It can be used for performing loop and recursive automatic program synthesis even more satisfactorily.

本文提出不使用归纳原理实现循环和递归程序设计自动化，对文献[1]中算法A~进行了修改，提出算法A~。

Syntax and operational semantics of recursive programs based on predicate logic

建立于谓词逻辑上的递归程序及其操作语义