Formal Syntax And Semantics Of Java

Although Java has its roots in the Web, it is a high-level language that can provide users with a wide range of functionality and versatility. This survey is de... » 

Although Java has its roots in the Web, it is a high-level language that can provide users with a wide range of functionality and versatility. This survey is devoted to the syntax and semantics of Java from a formal-methods point of view. «