College of Engineering >
Computer Science >
Computer Science Technical Reports >
Please use this identifier to cite or link to this item:
|Title: ||Derivation of Sequential, Real-Time, Process-Control Programs|
|Authors: ||Marzullo, Keith|
Schneider, Fred B.
|Keywords: ||computer science|
|Issue Date: ||Jul-1991|
|Publisher: ||Cornell University|
|Abstract: ||The use of weakest-precondition predicate tranformers in the derivation of sequential, process-control software is discussed. Only one extension to Dijkstra's 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.|
|Appears in Collections:||Computer Science Technical Reports|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.