Accession Number:

ADA370006

Title:

A Typed and Temporal Object-Oriented Technology

Descriptive Note:

Rept. of 1 May 96-31 Jul 99

Corporate Author:

WICHITA STATE UNIV KS

Personal Author(s):

Report Date:

1999-10-01

Pagination or Media Count:

7.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE