A Modularity Bug in Java 8

• Autorzy: Kramer S.

Identyfikatory

DOI

10.20904/283001

• Języki publikacji: EN

Abstrakty

EN

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).

Słowa kluczowe

EN

component-based software construction; interface specifications; object-oriented programming; programming-language pragmatics

PL

konstrukcja oprogramowania komponentowego; specyfikacje interfejsu; programowanie obiektowe; pragmatyka języka programowania

• Wydawca: Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
• Czasopismo: Theoretical and Applied Informatics
• Rocznik: 2016
• Tom: Vol. 28, No. 3
• Strony: 1--7
• Opis fizyczny: Bibliogr. 4 poz.

Twórcy

autor

Kramer S.

• Bern University of Applied Sciences
• SK-R&D Ltd liab. Co

Bibliografia

• [1] S. Kramer. A modularity bug in Java 8. preprint arXiv:1701.02189, 2017.
• [2] JavaTM Platform. https://www.oracle.com/technetwork/java/javase/overview/java8-2100321.html.
• [3] S. Mak and P. Bakker. Java 9 Modularity Patterns and Practices for Developing Maintainable Applications. O'Reilly Media. August 2016. Early Release: RAW & UNEDITED.
• [4] D. Sannella and A. Tarlecki. Foundations of Algebraic Specification and Formal Software Development. Springer. DOI: 10.1007/978-3-642-17336-3.

Uwagi

PL

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę (zadania 2017).