Using recursion tremendously simplifies the verification of programs.

使用递归可以极度简化程序的核查。

youdao

DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.

DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。

youdao

The next task is to customise wrappers to allow rule checking, lookups and lookup verification (if required), logging, spawning programs and the use of banners.

下一个任务是定制wrappers，使它能够进行规则检查、查找和查找验证(如果需要的话)、记录、生成程序和使用标题。

youdao

Sharing data across agencies can help achieve these goals, for example, by allowing up-front verification of identity, location, and income when appropriate for benefits programs.

WHITEHOUSE: Testimony of Joshua Gotbaum