类型化

刑法分则中的胁迫解读与类型化分析

Interpretation and Typification Analysis on Coercion in Special Provisions of Criminal Law

论我国侵权法中侵害债权类型化之必要性&以一起企业产权纠纷案为例

The Necessity of Typification of Infringement Contract Debt on the Tort Law

静态模型使用命名和类型化Java接口。

The static model employs named and typed Java interfaces .

类型化xml实例的xml架构集合的数据库名称。

The database name of the XML schema collection of a typed XML instance .

类型化Pi演算在Web服务组合中的应用

Application of Typed Pi Calculus in Web Service Choreography

动态类型化的Internet语句，例如Ruby，大量地利用REST代替基于SOAP的Web服务。

Dynamically typed Internet languages such as Ruby make extensive use of REST instead of SOAP-based Web services .

通过使用与属性相关联的类型化信息，PropertyBroker可以确定属于不同Portlet的属性之间的功能。

Using the typed information associated with properties , the Property Broker determines compatibility between properties belonging to different portlets .

它确实有些明显的不足，包括原始的数据类型化和缺乏字符编码支持（这对XML使用来说是个令人吃惊的缺陷）。

It does have some notable weaknesses , including primitive data typing and lack of support for character encodings ( an astonishing flaw given its use of XML ) .

设计器同时也产生一个填充查询，它封装了查询相关表的Select语句并且在类型化数据集中以同名方法实现。

The designer also generates a Fill query , which wraps the table 's SELECT statement and is implemented as a method of the same name on the typed DataSet .

代理的操作原则是将Portlet作为类型化属性的生产者和使用者；因此，它也称为属性代理（PropertyBroker）。

The broker operates on the principle of portlets being producers and consumers of typed properties ; therefore , it is called the Property Broker .

关系型数据是平面的、高度结构化、强类型化、无序的，而XML数据是有序、嵌套的、层次化的、可选类型化的，并且往往不规则且是不完全结构化的。

Relations are flat , highly structured , strongly typed , and unordered while XML data is ordered , nested , hierarchical , optionally typed and often irregular and semi-structured .

这种语言由W3C开发并被广泛实现，包含数据类型化（datatype）并被编写为一个XML文档。

Developed by the W3C and widely implemented , this language includes datatyping and is written as an XML document .

其中后两个类是解决SOAP编码中的许多互操作性问题的关键，这些问题源于类型化数据的不同的数据编入和数据编出。

These latter two classes are the key to navigating around the many interoperability problems in SOAP encoding that stem from different marshalling and unmarshalling of typed data .

因为查找器方法是特定于每个域对象的，因此将其应用于泛型DAO的类型化接口。

Because the finder methods are specific to each domain object , they are applied to the typed interfaces of the generic DAO .

建好了这两个文件夹之后，把第一节中所创建的类型化数据集（TypedDataSet）移到DAL文件夹中。

After creating these two folders , move the Typed DataSet created in the first tutorial into the DAL subfolder .

在RMC中修改开发方法时，定义要类型化的内容（由元数据提供支持）。

When you codify a development method in RMC , you define content that is typed ( backed-up by metadata ) .

正如采用静态类型化的语言进行编程的朋友们一样，Python和其他动态语言的程序员通常使用关系数据库作为后端数据存储区。

Just like their friends who program in statically typed languages , programmers of Python and in other dynamic languages often use relational databases as a back-end data store .

下一节模式验证中讨论DOCTYPE语句和数据类型化。

I discuss DOCTYPE statements and data typing in the next section , Schema for validation .

由此，在叙事时空建构、独特的蒙太奇手段、栅格化（GRID）处理、引导类型化、精准定位受众等特征之上，是好莱坞预告片对类型、明星和叙事的整体性成熟运作。

Thus , the grid construction , the means of montage , unique narrative time ( GRID ) on treatment , guide type , precise positioning of the audience and other characteristics , is the Hollywood trailer on overall type , star and narrative mature operation .

尽管mixin的概念已经应用到了许多语言中，但是Jam还是很新颖，因为它在严格类型化的语言上下文中严格引入了基于mixin的编程。

Although the concept of mixins has been applied to many languages , Jam is novel in that it introduces mixin-based programming rigorously in the context of a strongly typed language .

MSR用基于一阶原子公式的类型化的多重集重写规则描述协议动作，用存在量词模拟新鲜数的产生，是一种精确、灵活的密码协议形式化模型。

The model uses strongly typed multiset rewriting over firs order atomic formulas to express protocol actions and relies on a form of existential quantification to symbolically model the generation of fresh data .

本文定义一类型化的抽象语言like-LAMBDA，并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术。

In this paper , a typed abstract language called LAMBDA-like is defined . Using it as the model , a transformation technique from the functional abstract language based on λ - calculus to a imperative language caled PASCAL-like is presented .

“plainList”属性是个旧式风格的集合，而“flodatList”属性有个类型化的说明。

The " plainList " property is an old style collection , while the " floatList " property has a typed indicated .

当代美国独立电影的类型化转向

The Genre - Transform ation of the Independent Films in USA

论环境公益诉讼形态的类型化演进

On the Evolution of Type of Environmental Action for Public Interests

海上人身伤亡损害赔偿标准类型化研究

Typical research on compensation standard for damages for marine personal casualties

类型化中间语言是提高代码安全性的一类重要方法。

Typed intermediate language is an important approach to code safety .

基于类型化内存地址的安全策略的设计与实现

Design and Implementation of a Safety Policy Based on Typed Memory Address

反诉类型化研究类型化与民法解释

The necessary research of counteraccusation classification Typology and Interpretation of Civil Law

最后是行政责任的类型化问题。

The last is the type of the administrative responsibility .