M. Kontio and M. Rönkkö (Finland)
Java, correctness, immutable objects, functional design.
We introduce a design style in Java called functional classes. Functional classes help in writing correct Java programs. Despite type-checking during compilation, a Java program still contains potential sources of error. Some of these are, for instance, references to mutable objects, public attributes, and carelessly used inheritance. With functional classes, we systematically eliminate the obvious error sources. The main contribution of this paper is a structured presentation of functional classes. We also discuss the correctness and efficiency of programs written in this style.
Important Links:
Go Back
