Affiliation:
1. Saitama University, Saitama, Japan
Abstract
Definition-Use Net (DUN) is a graph-theoretical concurrent program representation that is very useful in software development activities such as program dependence analysis, testing, debugging, and complexity measuring. It is an arc-classified digraph having vertices representing information about definitions and/or uses of the values of variables, and inter-process synchronization and communication, and arcs representing deterministic or nondeterministic control ows between vertices. For capturing Definition-Use Nets for Ada 2012 programs, we developed an Asis-based DUN generator for Ada 2012 programs. This article presents an informal explanation for DUNs of Ada 2012 programs and shows some example DUNs of Ada 2012 programs generated by our DUN generator
Publisher
Association for Computing Machinery (ACM)
Reference16 articles.
1. AdaCore: Ada 2012. http://www.ada2012.org/ (accessed at July 20 2016) AdaCore: Ada 2012. http://www.ada2012.org/ (accessed at July 20 2016)
2. AdaCore: The Ada Programming Language. http://www.adacore.com/adaanswers/about/ada (accessed at July 20 2016) AdaCore: The Ada Programming Language. http://www.adacore.com/adaanswers/about/ada (accessed at July 20 2016)
3. AdaCore: Ada Web Server. http://www.adacore.com/aws (accessed at July 20 2016) AdaCore: Ada Web Server. http://www.adacore.com/aws (accessed at July 20 2016)
4. Barnes J.: Ada 2012 Rationale: The Language - The Standard Libraries (Lecture Notes in Computer Science / Programming and Software Engineering). Springer (2013) Barnes J.: Ada 2012 Rationale: The Language - The Standard Libraries (Lecture Notes in Computer Science / Programming and Software Engineering). Springer (2013)
5. Barnes J.: Programming in Ada 2012. Cambridge University Press (2014) Barnes J.: Programming in Ada 2012. Cambridge University Press (2014)