Java c extends Java I by classes and interfaces, more precisely by class fields, class methods and class initializers, also called static fields, static methods and static initializers. Classes play the role of modules: class variables correspond to global variables, class methods to procedures (also called subroutines or functions) and class initializers to module initializers. In Sect. 4.1 we describe the static and in Sect. 4.2 the dynamic part of the semantics of Java c .
KeywordsTransition Rule Class Field Static Semantic Procedural Extension Return Type
Unable to display preview. Download preview PDF.