New types of program dependences and interprocedural relations in Ada 2012 programs

System dependence net is a formal model to explicitly represent program dependences and interprocedural relations in a concurrent program with multiple procedures. It is useful for development and maintenance of concurrent programs, such as program slicing, testing, debugging, and complexity measuring. By now, although system dependence nets for Ada 95 and Ada 2005 programs were proposed respectively, they cannot be used for Ada 2012 programs, because Ada 2012 has a lot of changes and extensions from Ada 2005. As the first step to extend the current model of system dependence nets for Ada 2012 programs, it is indispensable to identify all new program dependences and interprocedural relations in Ada 2012 programs. This paper presents some new types of program dependences and interprocedural relations in Ada 2012 programs, and shows their real examples.