查询词典 compiling program

C#, with the Windows program mandates class library, and a detailed Demo Demonstration Program.

C#实现，操作Windows计划任务的类库，并有详细的Demo演示程序。

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模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。