This chapter describes how specification and programming techniques for sequential programs are incorporated into PASS.
KeywordsLocal Variable Object Class Process Type Sequential Program Internal Operation
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1994