Faxén, Karl-Filip (2008) Effect inference for deterministic parallelism. [SICS Report]
In this report we sketch a polymorphic type and effect inference system for ensuring deterministic execution of parallel programs containing shared mutable state. It differs from that of Gifford and Lucassen in being based on Hindley Milner polymorphism and in formalizing the operational semantics of parallel and sequential computation.
|Item Type:||SICS Report|
|Deposited By:||Vicki Carleson|
|Deposited On:||13 Jan 2009|
|Last Modified:||18 Nov 2009 16:23|
Repository Staff Only: item control page