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 insertion was canceled by the provider during notification.
在提示过程中，提供程序取消了插入操作。
The change was canceled by the provider during notification.
在提示过程中，提供程序取消了更改操作。
The process by which nullification, defeat, or prevention is achieved.
取消诉讼的程序完成废弃、取消或终止行为的程序
"Canceling the file copy process will cancel the Setup Manager wizard. Are you sure you want to cancel?
"取消文件复制处理会取消“安装程序管理向导”。您确实要取消吗?
This operation was canceled. A package cannot be set to upgrade itself.
这个操作被取消。程序包不能升级自身。
Please wait while wizard cancels the package creation...
向导正在取消创建程序包，请稍候...
AppHelp dialog canceled thus preventing the application from starting.
取消了 AppHelp 对话，导致应用程序无法启动。
User cancelled Setup. Setup terminating.
用户已取消安装。安装程序正在终止。
Setup has been cancelled. Setup will now close.
安装已取消。安装程序将立即关闭。
Are you sure you want to cancel starting the Snapshot Agent?
确定要取消启动快照代理程序吗？
cancel load program and start block
取消负荷程序及起动阻塞
To quit driver installation, choose Cancel.
要想退出驱动程序的安装，选择“取消”。
This meeting series was canceled from your calendar and scheduling program.
此会议序列已从日历和计划程序中取消。
To expel(an attorney) from the practice of law by official action or procedure.
取消…的律师资格取消（辩护律师）法律公务行动或程序的常规工作
Setup will finish installing the current application and will then cancel.
安装程序将完成对当前应用程序的安装，然后将取消。
A problem has been encountered while loading the Setup components. Canceling Setup.
加载安装程序组件时遇到问题，正在取消安装程序。
A problem has been encountered while finding a component. Canceling Setup.
查找组件时遇到问题，正在取消安装程序。
File copy operations were canceled. Setup cannot continue
文件复制操作被取消。安装程序无法继续