Accession Number : ADA115840

Title :   State Deltas That Remember: A Formalism for Describing State Changes.

Descriptive Note : Research rept.,

Corporate Author : UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST

Personal Author(s) : Marcus,Leo

PDF Url : ADA115840

Report Date : May 1982

Pagination or Media Count : 14

Abstract : We define a system for describing state changes based on the state deltas of S. Crocker. This approach combines the 'sometimes' assertion method with a limited 'during' modality.

Descriptors :   *Computer programs, *Computer logic, *Time intervals, *Variables, Modification, Computations, Value, Constants, Order statistics, Coding

Subject Categories : Statistics and Probability
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE