A Typed and Temporal Object-Oriented Technology

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1999
Accession Number
ADA370006

Entities

People

  • Suad Alagic

Organizations

  • Wichita State University

Tags

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Environment
  • Flight Simulators
  • Java Programming Language
  • Language
  • Model Theory
  • Models
  • Object Oriented Programming
  • Object-Oriented Programming Language
  • Programming Languages
  • Simulations
  • Simulators
  • Standards
  • Virtual Machines

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Canine Service Warrior Training Program for Wounded Warriors in the Veterinary Industry, Supported by Donors.
  • Parallel and Distributed Computing.