A Typed and Temporal Object-Oriented Technology
Rept. of 1 May 96-31 Jul 99
WICHITA STATE UNIV KS
Pagination or Media Count:
A typed and temporal object oriented paradigm has been developed. A declarative object oriented, temporal constraint language MyT, its type system, and a model of persistence have been designed. The results on the associated model theory based on order sorted algebras and the view of MyT classes as temporal theories have been established. A provably type safe technique called constrained matching has been developed for the integrated typed and temporal object oriented paradigm. The underlying implementation architecture has been developed based on a persistent extension of the Java Virtual Machine. Specific techniques for handling advanced typing techniques in a persistent Java environment, such as bounded and F bounded polymorphism, have been developed. Results on the object oriented flight simulator technology have been established.
- Computer Programming and Software