查询词典 cataloged program

Your program just contains a reference to the particular function you want to use, the linker then loads the relevant part from the library when it creates your program.

你的程序就包含了一个你想使用的特定功能的参照，链接器便会在创建你的程序时从库中装载相关的部分。

This means that each program which uses a static library includes some or all of the library in the program binary on disk.

这表示每个程序如果用到静态库的话，它就包含了部分或者全部的库到程序二进制文件里面。

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的程序段上有效地进行。

Announcement " the unit place that emphasizes service of program of Internet seeing and hearing sows a program to should have corresponding copyright, the drama of movie and TV of transmission must accord with the concerned regulation of management of broadcast film TV, obtain service of broadcast movie and TV to issue lawfully " electric film is fair mirror licence "" teleplay issues license " or " TV cartoon issues license ", otherwise uniform must not travel on Internet," announcement once promulgate the trend of future of network video industry,become the central issue that for numerous course of study wife person pays close attention to once more.

通知》强调互联网视听节目服务的单位所播节目应具有相应版权，传播的影视剧必须符合广播电影电视管理的有关规定，依法取得广播影视行政部门颁发的《电影片公映许可证》《电视剧发行许可证》或《电视动画片发行许可证》，否则一律不得在互联网上传播，《通知》一经颁布网络视频行业未来的走向便再度成为了众多业内人士关注的焦点。

5"Program" means the program which constitute the control system of System provided by Licensor under the Purchase Contract.1?

5"程序"是指构成接受方购买的系统的控制系统的程序。1？

Network live television program, is a good network of online TV program, I hope everyone can bring happiness!

网络电视直播程序，是一款不错的网络在线电视程序，希望能给大家带来快乐！

Prior to watch a live program, Scroll also appear on the screen, the program group QQ.

之前看一个生活类节目，屏幕上还滚屏出现，该节目的QQ群。

You make the program write lines of text to a log file at various stages in the program.

你写的程序的文本行的程序在不同阶段的日志文件。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

A macro instruction that causes the control program to create a new task and i ndicates the entry point in the program to be given control when the new task becomes active.

一条宏指令，它可以使控制程序建立一个新任务，并指出在新任务激活时控制程序中的入口点。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。