514 search results - page 4 / 103 » Dependency Analysis of Ada Programs |
HASE
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
ADAEUROPE
2007
Springer
14 years 1 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
ADAEUROPE
2008
Springer
14 years 1 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
ADAEUROPE
2001
Springer
13 years 12 months ago
2001
Springer
: ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS dard, appears to be at a very low-l...
ADAEUROPE
2000
Springer
13 years 11 months ago
2000
Springer
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...