Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article
Author

Oliver Haase

Hochschule Konstanz University of Applied Sciences, Germany
1 article in our journals

Articles where this person is an author, newest first. People are matched by their name as printed (no ORCID iD is recorded for them), not by name alone; search the name as text to find namesakes too.

Research ArticleOpen accessAbstract Interpretation of Java Bytecode for Immutability AnalysisOliver HaaseEven though immutability is a desirable property, especially in a multi-threaded environment, implementing immutable Java classes is surprisingly hard because of a lack of language support. We present a static analysis tool using abstract bytecode interpretation that checks Java classes for compliance with a set of rules that together constitute state-based immutability. Being realized as a Find Bugs plug in, … …Journal of Computer Science, Vol. 12, Issue 7 · 23 Aug 2016 · 7,548 accessesView PDFCite