ARC++: effective typestate and lifetime dependency analysis.

Xusheng Xiao Gogul Balakrishnan Franjo Ivancic Naoto Maeda Aarti Gupta Deepak Chhetri

Published in: ISSTA (2014)

Keyphrases

dependency analysis
real time
pattern recognition
ontology driven
genetic algorithm
computationally efficient
information entropy