A memory model describes, given a program and an execution trace of that program, whether the execution trace is a legalexecution of the program.
内存模型描述给定程序的某个特定的执行轨迹是否是该程序的一个合法执行。
2
The purpose of administrative supervision is to ensure the proper legalexecution of administrative authorities, prevent the abuse of jurisdiction.
行政监督的目的是确保国家行政机关及工作人员依法正确使用行政权力，防止对行政权力的滥用。
3
The legal characters and the issue of electronic money are probed; moreover, opinions are aired on its legalexecution and related internationalization issues.