SODA

Effect inference for deterministic parallelism

Faxén, Karl-Filip (2008) Effect inference for deterministic parallelism. [SICS Report]

[img]
Preview
PDF
132Kb

Abstract

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
ID Code:3519
Deposited By:Vicki Carleson
Deposited On:13 Jan 2009
Last Modified:18 Nov 2009 16:23

Repository Staff Only: item control page