514 search results - page 1 / 103 » Dependency Analysis of Ada Programs |
94
Voted
SIGADA
1998
Springer
15 years 7 months ago
1998
Springer
108
Voted
ADAEUROPE
2008
Springer
15 years 10 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
151
Voted
ADAEUROPE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
122
Voted
ADAEUROPE
2004
Springer
15 years 9 months ago
2004
Springer
The tree width of a graph G measures how close G is to being a tree or a series-parallel graph. Many well-known problems that are otherwise NP-complete can be solved efficiently if...
114
Voted
SIGADA
2001
Springer
15 years 8 months ago
2001
Springer