In particular, the memory model defines semantics for volatile, synchronized, and final that make guarantees of visibility of memory operations across threads.
特别是，内存模型定义了保证内存操作跨线程的可见性的volatile、synchronized和final的语义。
JSR 133 also significantly strengthens the semantics of final.
JSR 133还显著地增强了final的语义。
The OWL Semantics and Abstract Syntax document is the final and formally stated normative definition of the language;
OWL语义和抽象语法文档是决定性的和正式的，它描述了语言的规范性定义。
应用推荐