Go backward to Null(): Test for Unbound Thread
Go up to General
Go forward to =: Assignment

Thread(): Duplication

Thread<R> t(s)
            Thread<T> s
Thread<R> t(s)
      Threadn<R, A_1, ..., A_n> s

Specification: Defines a thread handle t bound to the same thread as s. If s is not bound to any thread, t is also unbound.

Note: This definition is more efficient than the otherwise equivalent form

Thread<R> t = s

Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: main.tex,v 1.10 1996/04/04 11:45:47 schreine Exp

Prev Up Next