The procedural extension JavaC of JavaI

  • Robert F. Stärk
  • Joachim Schmid
  • Egon Börger


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 .


Transition Rule Class Field Static Semantic Procedural Extension Return Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Robert F. Stärk
    • 1
  • Joachim Schmid
    • 2
  • Egon Börger
    • 3
  1. 1.Theoretische InformatikETH ZentrumZürichSwitzerland
  2. 2.Siemens AGMünchenGermany
  3. 3.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations