A memory model describes, given a program and an execution trace of that program, whether the execution trace is a legal execution of the program.
内存模型描述给定程序的某个特定的执行轨迹是否是该程序的一个合法执行。
The purpose of administrative supervision is to ensure the proper legal execution of administrative authorities, prevent the abuse of jurisdiction.
行政监督的目的是确保国家行政机关及工作人员依法正确使用行政权力,防止对行政权力的滥用。
The legal characters and the issue of electronic money are probed; moreover, opinions are aired on its legal execution and related internationalization issues.
本文探讨了电子货币的法律性质、电子货币发行等多方面的问题,并对电子货币的法律执行和国际性中的相关问题发表了自己的看法。
应用推荐