内容摘要：

本书试图详细说明Java语言的语法和语义规范。我们试图在本书中说明每一种语言结构的行为,以便让所有实现都接受同一个程序。除了时间相关性或无法确定因素之外,如果有足够的时间和足够的内存空间,用Java编程语言所写的程序应该可以在所有机器和所有实现中计算出相同的结果。

Java编程语言是一种相对高级的语言，这是由于机器表示的细节无法通过语言得到。它包括自动存储管理（通常使用垃圾收集器），以避免显式存储单元分配（如C的free 或C++的delete）的安全问题。高性能垃圾收集的实现可以有限地中止对系统编程和实时应用的支持。该语言不包括任何非安全构造，如无索引检查的数组访问，这是由于这种非安全构造会导致程序以未指定的方式工作。