Program extraction is a mechanism that one can automatically extract a functional program from a constructive proof,which by its very construction is correct as well.
通常情况下,我们很难确定一段给定的程序是否符合它的规范,程序提取是一种从构造性证明中提取函数式程序的机制,其构造特性很好地保证了生成程序的正确性。
The figures of average field-synergy angles in the shell side are obtained using user-defined programs.
编制自定义程序提取了壳侧平均场协同角的直观图。
extractive process
提炼过程;提炼制造过程;提取制造程序;纯油提过程
The insertion was canceled by the provider during notification.
在提示过程中，提供程序取消了插入操作。
The change was canceled by the provider during notification.
在提示过程中，提供程序取消了更改操作。
Unable to get the provider extension from the conference locator
无法从会议定位程序取得提供者扩展
Research for Extracting the Predominate Factors of Tourism Image :Based on the Formation Process;
基于生成机制的旅游形象主导因子提取程序
Model Extraction and Model Checking Research for Java Concurrent Programs
Java并发程序的模型提取与模型检测技术研究
Research on Drawing Characteristic Bunch Technology for Copying Plagiarism in Program Code
程序代码复制检测中特征串提取技术研究
Extraction and Validation of NC Information from STEP-NC File
STEP-NC数控程序的信息提取与校验方法研究
access method routine
存取法程序;存取方法例程;存取方法例行程序
Circa 1979, your program was judged heavily on whether or not it was menu-based.
大约在1979年，对程序的评价在很大程度上取决于是否提供菜单。
For the application to run properly, it is recommended that you first extract all files.
为了保证应用程序运行正常，您应该首先提取所有文件。
Failed to get data. If available, errors returned from the provider are listed below.
获取数据失败。如果可用，从提供程序返回的错误会在下面列出。
It offers a rich set of accessing control mechanism for you to secure documents and programs
它提供了一套丰富的对文件及程序的存取控制机制
Conversion failed because the data value overflowed the data type used by the provider.
由于数据值溢出了提供程序所用数据类型的取值范围，转换失败。
The data value for one or more columns overflowed the type used by the provider.
一列或多列的数据值溢出了提供程序所用类型的取值范围。
It offer a rich set of access control mechanism for you to secure document and programs.
它提供了一套丰富的对文件及程序的存取控制机制。
Research on Extracting Unstandard Outline Curve and Producing the Numerical Control Processing Procedure;
非标准轮廓曲线提取与数控加工程序生成的研究