Loop Recognition in C++/Java/Go/Scala

   Abstract