Accession Number:
ADA238877
Title:
Derivation of Sequential, Real-Time, Process-Control Programs
Descriptive Note:
Technical rept.,
Corporate Author:
CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE
Personal Author(s):
Report Date:
1991-07-01
Pagination or Media Count:
15.0
Abstract:
The use of weakest precondition predicate transformers in the derivation of sequential, process control software is discussed. Only one extension to Dijkstras calculus for deriving ordinary sequential programs was found to be necessary function-valued auxiliary variables. These auxiliary variables are needed for reasoning about states of a physical process that exist during program transitions.
Descriptors:
Subject Categories:
- Computer Programming and Software