Special issue: formal techniques for Java programs

S. Eisenbach,G. Leavens
DOI: https://doi.org/10.1002/cpe.595
2001-11-01
Abstract:Such formal techniques are sound, only if based on a formalization of the language itself. Java is a good platform to bridge the gap between formal techniques and practical program development. It plays an important role in these areas and is on the way to becoming a de facto standard because of its reasonably clear semantics and its standardized library. However, Java contains novel language features, which are not yet fully understood. More importantly, Java supports a novel paradigm for program deployment, and improves interactivity, portability and manageability. This paradigm opens new possibilities for abuse and causes concern about security. The ECOOP 2000 workshop on Formal Techniques for Java Programs was held in Sophia Antipolis, France. It was a follow-up for last year’s ECOOP workshop on the same topic [1] and the Formal Underpinnings of the Java Paradigm workshop held at OOPSLA ’98 [2]. Proceedings containing all the papers are available as a technical report of the Computer Science Department of the FernUniversität Hagen [3]. This special issue contains extended and refereed versions of four papers, selected from the best papers presented at the workshop. Eva Rose and Kristoffer Rose suggest in their paper ‘Java access protection through typing’ the integration of a dedicated read-only field access into the Java type system. The advantage is that
What problem does this paper attempt to address?