Login / Signup

Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages.

Alexander HerzKalmer Apinis
Published in: NASA Formal Methods (2012)
Keyphrases
  • data points
  • data mining
  • data analysis
  • management system
  • general purpose
  • object oriented languages