514 search results - page 1 / 103 » Dependency Analysis of Ada Programs |
57
Voted
SIGADA
1998
Springer
15 years 1 months ago
1998
Springer
58
Voted
ADAEUROPE
2008
Springer
15 years 3 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...
94
Voted
ADAEUROPE
2008
Springer
15 years 3 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...
ADAEUROPE
2004
Springer
15 years 2 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...
SIGADA
2001
Springer
15 years 1 months ago
2001
Springer