查询词典 Justinian Code

Based on the idea of type systems, this paper reengineers a new set of type expressions and a type system for machine code of Intel/x86s infrastructure Although machine language program is a binary untyped code, types of its registers and memory exist implicitly in semantics of instructions The type inferring algorithm built on type systems can statically infer safety of the machine code The machine language discussed includes some of important characters, such as jumps, function call, return, and so on, and shows that the approach can be applied to type checking for low level code of other infrastructures

根据类型系统思想，为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中

When we leave this jurisprudence at the epoch of its final reconstruction by Justinian, few traces of archaism can be discovered in any part of it except in the single article of the extensive powers still reserved to the living Parent.

当这个法律学在查斯丁尼安时代经过了最后一次改编后，除了为活着的"家父"仍旧保有广泛权力的唯一条款以外，其中已很难找到古代制度的迹象。

All change and suffering in Christ must be (as the Julianists and Justinian rightly saw) strictly voluntary, in so far as the union gives to the Sacred Humanity a right and claim to beatification and to deification.

所有的变化和苦难耶稣基督必须（如Julianists和查士丁尼正确看到）完全自愿的，只要工会赋予人类的神圣权利，并要求宣福和，以神化。

Papebroch, in his notice on Henschen printed at the beginning of the seventh volume of May, points out as particularly his the toil expended on the acts of St. Wittikind, St. Canute, and St. Raymond of Pennafort on the seventh of January; of St. Atticus of Constantinople and Blessed Laurence Justinian on the eighth; of Sts.

papebroch ，在他的公告亨申印在一开始的第七货量可能也指出，作为特别是他的辛劳，花费的行为，圣wittikind ，圣canute ，和圣雷蒙德彭纳福特关于第七届一月；圣atticus的君士坦丁堡，并祝福劳伦斯justinian关于第八届；渗透

We have the latest and most celebrated experiment of this kind in the Corpus Juris of Justinian.

这样一种最后的和最著名的试验就是查斯丁尼安的"民法大全"。

Under Justinian this period gave us the Corpus Juris Civilis - an enormous compendium of Roman Law.

在东罗马帝国统治下的这一时期，出现了《民法大全》（大陆法民法典即是来源于此）——这是一部罗马法律的汇编式法典。

The classifications of crimes which are contained even in the Corpus Juris of Justinian are remarkably capricious.

甚至包括在查斯丁尼安"民法大全"中的犯罪分类也是非常反复多变的。

Quite as the professors at Bologna commented on Justinian's "Corpus juris civilis", so they began at once to comment on Gratian's work, the personal element as well as his texts.

不少为教授在博洛尼亚评论justinian的"法典民法"，所以他们开始在曾经评论gratian的工作，实现个人的因素，以及其文本。

Century, the Roman emperor Justinian compiled Laws organizations "Corpus Juris Civilis" It is the crystallization of the codification of Roman law, Roman law system marks the final completion.

6世纪，罗马皇帝查士丁尼组织编撰法律汇编《民法大全》它是罗马法编纂的结晶，标志着罗马法体系的最终完成。

A digest of Roman civil law, compiled for the emperor Justinian in the sixth century a.d.and part of the Corpus Juris Civilis.

罗马法典罗马公民法汇编，是在公元6世纪为罗马皇帝贾斯蒂尼安编辑的，是《国法大全》的一部分

Objective To study the effect of chitosan in the prevention of fibrous scar formation in the epidural space after laminectomy.

目的 观察选择性脊神经后根切除术椎板切除后硬膜外几种防瘢痕粘连物质的作用并探讨其机制。

On his way to the lift, he looked back to us or was it me his eyes pointing?

当他要进电梯时，他回头看我们（或者说是我，他的眼光？