查询词典 program library

Although the absolute address values would be correct if the library were loaded at the addresses specified in the program header table, this normally is not the case.

尽管 如果库文件被载入到程序头表所指定的地址处，绝对地址将会是正确的，情况通常却不是这样。

I have been using that library for compressing the data my program generates.

我一直在使用的数据压缩我的程序生成该库。

In VSE, to bring a program phase from a core image library into main storage for execution.

在虚机扩充磁盘操作系统中，把核心映象库中的程序段装入主存以便执行。

The quare author association turn on goes into the request of the library of quinonoid formula, vs the MS SQL Server2000 data base management system, SQL language element, the VB application program design, the VB data nbank technique steered the more thorough study and appliances, cardinal terminate to manage the demand analysis of the system to the book, the function shuttering cake curtate, the data nbank modal analysis, and designed the data nbank structure and application programs thereof.

因此本人结合开入式图书馆的要求，对MS SQL Server2000数据库管理系统、SQL语言原理、VB应用程序设计，VB数据库技术进行了较深入的学习和应用，主要完成对图书管理系统的需求分析、功能模块划分、数据库模式分析，并由此设计了数据库结构和应用程序。

That's possible thanks to the program's intuitive interface, easy-to-use drawing tools, and lots of pre-drawn library objects.

这归功于该程序的直观的界面，易于使用的绘图工具，以及大量的预先制定的图书馆对象。

Use Online Search to search many online databases, such as the Library of Congress,from the EndNote Web program.

在EndNote Web程序上，可以使用"在线检索"功能，检索包括美国国立图书馆在内的多个在线数据库。

This usually means a class library with a fundamental base class for defining a complete program.

应用程序架构通常指用于定义完善程序的一个带有基本基类的类库。

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

Longjmp is a library routine that causes the non-local control flow in C programs. It damages the structure of C program and some common dataflow analysis techniques cannot work effectively on the program segments containing longjmp.

longjmp是C语言中实现非局部跳转的库函数调用，它破坏了程序的结构性，并使常见的数据流分析技术无法在包含longjmp的程序段上有效地进行。

Second, the program uses the standard library function exit, which terminates program execution when it is called.

其次，程序使用了标准库函数exit，当该函数被调用时，它将终止调用程序的执行。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。