next up previous contents
Next: Difficulties Overcome Up: thesis Previous: Proof Steps   Contents


Conclusion

Though diverging from the original proposals for the project, I feel that valuable progress has been made towards this goal. The PGIP method of communication has been a solid base to work upon.

I have explored the use of PGIP from the point of view of an interface developer, and have produced a working prototype PGIP parser and mediator. Several extensions to the current version of PGIP have been proposed that would add considerable generality to the system.



Subsections

2003-11-08

Valid HTML 3.2! Valid CSS!