Map
Index
Random
Help
th

Quote: in proofs of concurrent programs need to introduce value variables for intermediate results

topics > all references > references i-l > QuoteRef: lampL_1980 , p. 25



Topic:
proving concurrent programs
Topic:
temporary data objects

Quotation Skeleton

We need to introduce a new class of … rewritten as the atomic assignment statement ) :=x+1>. … expression is evaluated, its value must appear … the variable representing that register.   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: proving concurrent programs (37 items)
Topic: temporary data objects (6 items)

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