程序上的

As for the clause "legem terrae," which seemed to be the foundation of Selden's case, there were ample precedents from English history showing that a King or Queen could and did commit a person to prison and hold him there without being answerable for it.

至于&本国法律适当程序&这是 Selden 辩护词的基础，英国史上有许多先例说明国王或女王能够并且确实未经说明即将人投入监狱将其监禁。

Traditionally programmers have tended to favor control syntaxes that are veryprecise and compact and have no redundancy at all.

传统上，程序员们倾向选用简洁紧凑、完全没有冗余的语法。

Traditionally programmers have tended to favor control syntaxes that are very precise and compact and have no redundancy at all.

传统上，程序员们倾向于选用简洁紧凑、完全没有冗余的控制语法。

Passenger ships must also have procedures in place for locating and rescuing passengers trapped in their staterooms.

客船上还必须备有程序以找到并救援被困在客舱中的旅客。

Q Restrict NTFS perms to ALL executables on system.

限制 系统上所有可执行程序的NTFS权限。

Supervisory agent Lary Nicols says the screening process is both an art and science:scientifically we have, you know, better technology than we did a few years ago.

监察署官员Lary Nicols表示安检程序既是艺术又是科技，从科技上来说，我们比几年前拥有了更多先进的科技。

The story of the Scottsboro Boys is important not only in civil rights history, but also in the evolution of constitutional law, for it was this case that led to a more wide-reaching, interpretation of the Fourteenth Amendment's guarantee of "equal protection under the law" and of "due process of law."

&斯科茨伯勒男孩&案的故事不仅在民权史上，而且在宪法的发展上都具有重要意义，因为正是这一案件，使第十四条修正案关于&平等的法律保护&和&适当法律程序&的保证得到意义广泛的解释。

A dynamically typed language can be seen as a statically-typed language with a very permissive type system under which any syntactically correct program is well-typed; as long as its dynamic semantics ensures that no such program ever "goes wrong" in an appropriate sense, it satisfies the definition above and can be called type-safe.

一个动态类型语言可以看作是静态类型语言和类型限制系统的集合，该系统限制了语法正确的程序是类型安全的；如果它的动态语义能够保证在某种合适程度上不会出错，那么它就满足上面的定义，可以称作类型安全的。

After the problems of the integration of query language and its host language are well-treated, KBASE-P language which is the integration of KBASE and FD-Prolog with minimized problems of impedence mismatch is designed.

在较好地解决了查询语言和宿主语言集成技术的基础上，本文提出并设计了通用知识库程序设计语言KBASE-P。

According to TNT equivalence method, the safety assessment program of vapor cloud explosion has been developed.

3在此基础上，以TNT当量法为理论依据，开发了蒸气云爆炸事故的安全评价程序。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失