Login / Signup

Abstract Interpretation of Java Bytecode for Immutability Analysis.

Oliver Haase
Published in: J. Comput. Sci. (2016)
Keyphrases
  • abstract interpretation
  • static analysis
  • information systems