skip to main content
column

A New Definition-Use Net Generator for Ada 2012 Programs

Published:20 November 2017Publication History
Skip Abstract Section

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

References

  1. AdaCore: Ada 2012. http://www.ada2012.org/ (accessed at July 20, 2016)Google ScholarGoogle Scholar
  2. AdaCore: The Ada Programming Language. http://www.adacore.com/adaanswers/about/ada (accessed at July 20, 2016)Google ScholarGoogle Scholar
  3. AdaCore: Ada Web Server. http://www.adacore.com/aws (accessed at July 20, 2016)Google ScholarGoogle Scholar
  4. Barnes, J.: Ada 2012 Rationale: The Language - The Standard Libraries (Lecture Notes in Computer Science / Programming and Software Engineering). Springer (2013)Google ScholarGoogle Scholar
  5. Barnes, J.: Programming in Ada 2012. Cambridge University Press (2014) Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Cheng, J.: Task Dependence Net as a Representation for Concurrent Ada Programs. In: Ada: Moving towards 2000, 11th Ada-Europe International Conference. Lecture Notes in Computer Science, vol. 603, pp. 150--164. Springer, Heidelberg (1992) Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Cheng, J.: Complexity Metrics for Distributed Programs. In: Proc. 4th International Symposium on Software Reliability Engineering, pp. 132--141. IEEE Computer Society Press (1993)Google ScholarGoogle Scholar
  8. Cheng, J.: Process Dependence Net of Distributed Programs and Its Applications in Development of Distributed Systems. In: Proc. 17th Annual International Computer Software & Applications Conference, pp. 231--240. IEEE Computer Society Press (1993)Google ScholarGoogle Scholar
  9. Cheng, J.: Nondeterministic Parallel Control-Flow / Definition-Use Nets and Their Applications. In: G. R. Joubert, D. Trystram, F. J. Prters, and D. J. Evans. (eds.) Parallel computing: Trends and Applications, pp. 589--592. Elseviser Science Publishers B. V (1994)Google ScholarGoogle Scholar
  10. Cheng, J.: Task Dependence Nets for Concurrent Systems with Ada 95 and Its Application. In: 1997 ACM TRI-Ada International Conference, pp. 67--78. ACM Press (1997) Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Ferrante, J., Ottenstein, K.J., Warren, J.D.: The Program Dependence Graph and Its use in Optimization 9, 319--349 (1987) Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Horwitz, S., Reps, T., Binkley, D.: Interprocedural Slicing Using Dependence Graphs. ACM Transactions on Programming Languages and Systems (TOPLAS) 12(1), 26--60 (1990) Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. International Organization for Standardization: ISO/IEC 8652:2012 (E): Information Technology -- Programming Language - Ada (2012)Google ScholarGoogle Scholar
  14. Kasahara, Y., Cheng, J., Ushijima, K.: Task Dependence Net of Concurrent Ada Programs and Its Automatic Generation (In Japanese). Transactions of IEICE J79-D-I(11), 925--935 (1996)Google ScholarGoogle Scholar
  15. Nonaka, Y., Hatano, K., Nomura, Y., Cheng, J., Ushijima, K.: A System Dependence Net Generator for Ada Programs. In: Proc. Sixth Asia-Pacific Software Engineering Conference, pp. 441--448. IEEE Computer Society Press (1999) Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Robert, D.: Ada 2012: Ada with Contracts. http://www.drdobbs.com/architecture-and-design/ada-2012-ada-with-contracts/240150569 (accessed at July 20, 2016)Google ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGAda Ada Letters
    ACM SIGAda Ada Letters  Volume 37, Issue 1
    June 2017
    46 pages
    ISSN:1094-3641
    DOI:10.1145/3165291
    Issue’s Table of Contents

    Copyright © 2017 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 20 November 2017

    Check for updates

    Qualifiers

    • column
  • Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!