Next: Impact of expected
Up: Synopsis
Previous: The aims
An experimental methodology will be used, starting from
feasibility experiments to real case studies.
Implementations generated by the compiler are validated by comparison
with manually generated implementations.
The following phases in our methodology can be identified:
- Practical experimentations with new and existing ILP designs,
with implementations and their execution environments. How to capture
application requirements with formal methods.
- From initial experimentation, the following parallel activities
will be pursued:
- Formulation of specification language
- Design and implementation of execution environment
- Conceptual work on architecture, including dynamic configuration
- Design of the compiler and its runtime system.