A System Dependence Net Generator for Ada Programs

Authors:
Yusuke Nonaka;Katsuhiko Hatano;Yoshinari Nomura;Jingde Cheng;Kazuo Ushijima
Affiliations:
-;-;-;-;-
Venue:
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Year:
1999

Citing 7
Cited 0

The program dependence graph and its use in optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Interprocedural slicing using dependence graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming in Ada95

Programming in Ada95
ASIS for GNAT: goals, problems and implementation strategy

ACM SIGAda Ada Letters
Architecture of ASIS: a tool to support code analysis of complex systems

ACM SIGAda Ada Letters
ASIS-based code analysis automation

ACM SIGAda Ada Letters
Task dependence nets for concurrent systems with Ada 95 and its applications

Proceedings of the conference on TRI-Ada '97

Quantified Score

Hi-index	0.00

Visualization

Abstract

An explicit representation of various dependence relationship in a program has many application in software engineering. System Dependence Net is a model to represent program dependences in a concurrent program which consists of multiple procedures. This paper presents how to generate System Dependence Net for Ada 95 programs automatically.