@ARTICLE{Kramer_Simon_A_2016,
 author={Kramer, Simon},
 volume={vol. 28},
 number={No 3},
 journal={Theoretical and Applied Informatics},
 pages={1-7},
 howpublished={online},
 year={2016},
 publisher={Committee of Informatics of Polish Academy of Science},
 publisher={Institute of Theoretical and Applied Informatics of Polish Academy of Science},
 abstract={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 denitions. The bug shows up as a compilation error and should be xed with a language extension due to the importance of best practices (design delity).},
 type={Article},
 title={A Modularity Bug in Java 8},
 URL={http://journals.pan.pl/Content/118534/PDF-MASTER/kramer_A%20Modularity%20Bug-1.pdf},
 keywords={component-based software construction, interface specifications, object-oriented programming, programming-language pragmatics},
}