1 page matching Warren Teitelman Bob Sproull 1977 in this book
Results 1-1 of 1
What people are saying - Write a review
We haven't found any reviews in the usual places.
_ message _ programs _ request abstract data type abstract machine action function algorithm analysis ASSM behavior C. A. R. Hoare cluster compiler complex components concept concurrent constructs CONTROL PROCESS data abstraction data base data structures data type defined definition described discussed DISSECT domain DREAM END BUFFER SUBCOMPONENTS errors event example execution formal IEEE implementation initial input integer interaction ITERATE J. J. Horning loop machine memory segment ment methodology module MONITOR CLASS morphological box node notation objects operating system output parameters path performed pl/i PORT predicates problem Proc procedure process structure processor programming language recurrence relations representation represented requirements result Section sequence shared simulation software development Software Engineering software system specification stack statement structured programming SUBSETS SUBSYSTEM CLASS symbolic evaluator symbolic testing techniques textual unit tion TOPD Univ variables wordbag wordtree