A Modularity Bug in Java 8

Simon Kramer


We demonstrate a modularity bug in the interface system of Java 8 on the practical example of a textbook design of a modular interface for vector spaces. Our example originates in our teaching of modular object- oriented design in Java 8 to undergraduate students, simply following standard programming practices and mathematical definitions. The bug shows up as a compilation error and should be fixed with a language extension due to the importance of best practices (design fidelity). 

Full Text:



S. Kramer., A modularity bug in Java 8. preprint arXiv:1701.02189, 2017.

Java Platform, https://www.oracle.com/technetwork/java/javase/overview/java8-2100321.html

S. Mak and P. Bakker, Java 9 Modularity Patterns and Practices for Developing Maintainable Applications, O'Reilly Media.August 2016. Early Release: RAW & UNEDITED.

D. Sannella and A. Tarlecki, Foundations of Algebraic Specification and Formal Software Development, DOI: 10.1007/978-3-642-17336-3

DOI: http://dx.doi.org/10.20904/283001


  • There are currently no refbacks.

Copyright (c) 2017 Simon Kramer

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

ISSN: 1896-5334 (print), 2300-889X (online)

Open Acces CrossRef Indexed in DOAJ