- 1.
- Introduction: Explanation of the problem,
- 2.
- Literature Survey: Related Work
- (a)
- Methods of Specifying Complex Structures
- (b)
- Methods of Analysing Structures
- 3.
- AG method of describing structures
- 4.
- Integrating other specification languages: Using AG as an
underlying representation, converting other specification languages
into AG. Extending AG to accommodate these other systems.
- 5.
- Dependency Analysis
- 6.
- Parallelising Code: Using extracted dependency information to
parallelise programs.
- 7.
- Practical Applications: Applying methods to real application
codes. Vortex fluid flow simulations and others.
Timothy Lewis
1998-09-18