Search | Science Publications

Research ArticleOpen accessIn the author namesAbstract 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,555 accessesView PDF Cite

2 results for “Oliver Haase”