Map
Index
Random
Help
th

Quote: input and output are basic programming primitives and parallel composition is a fundamental program structure method; use guarded commands

topics > all references > references g-h > QuoteRef: hoarCA8_1978 , p. abstract



Topic:
abstraction in programming
Topic:
specification and design of distributed systems
Topic:
models of parallel computation
Group:
input/output
Topic:
conditional control by guards

Quotation Skeleton

This paper suggests that input and output are … structuring method. When combined with a development of …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: abstraction in programming (67 items)
Topic: specification and design of distributed systems (14 items)
Topic: models of parallel computation (33 items)
Group: input/output   (4 topics, 74 quotes)
Topic: conditional control by guards (17 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.