You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Edinburgh » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Edinburgh

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

A Model of Cooperative Threads

Type

D - Journal article

DOI

10.2168/LMCS-6(4:2)2010

Title of journal

Logical Methods in Computer Science

Article number

Volume number

Issue number

First page of article

ISSN of journal

1860-5974

Year of publication

2010

URL

http://www.lmcs-online.org/ojs/viewarticle.php?id=751

Number of additional authors

Additional information

<08> Originality: First denotational model of shared-memory cooperative threads. Model is given in context of automatic mutual exclusion (AME), includes spawning, and is fully abstract. Using Plotkin's algebraic theory of effects (ATE), the model is characterised equationally, including a novel dendriform equational account of thread-spawning.

Significance: Provides basic theory for AME, a current paradigm for programming multicores, via a Shared Transactional Memory execution model. Applies ATE (mentioned in Plotkin's SIGPLAN 2010 award citation) to state-of-the-art programming constructs.

Rigour: In TCS special issue for POPL 2009 (major programming languages conference, acceptance rate 22.5%). Standard mathematical definition and proof approach, 39 pages.

Interdisciplinary

Cross-referral requested

Research group

F - Laboratory for Foundations of Computer Science

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract