Topological model for parallel algorithm design. Doctoral thesis
This research demonstrates that formal, mathematical analysis in theoretical computer science can be recast in terms of the topology of complete metric spaces, and also presents a methodical technique for developing formal specifications. This effort shows that the topology of complete metric spaces provides a tool that can be used to both recreate major results about computational models and also to develop new results about these models. Using the two computational models CSP and UNITY, this effort shows that the required mathematics needed to support this alternative to the traditional analysis of computational models can be readily supported by a standard course sequence in real analysis. Since the approach of proving programs correct after being written has not been widely accepted, this effort presents an alternative approach based on the developed topological framework for the formal specification language UNITY. This approach, designed to be automated, uses a set of transformations applied to UNITY specifications that preserve desired program properties.
- Research Organization:
- Air Force Inst. of Tech., Wright-Patterson AFB, OH (United States). School of Engineering
- OSTI ID:
- 5970554
- Report Number(s):
- AD-A-241858/0/XAB
- Country of Publication:
- United States
- Language:
- English
Similar Records
Coordination of overlapping hierarchical water resources systems. Doctoral thesis
Debugging and analysis of large-scale parallel programs. Doctoral thesis