Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...