Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Effect inference for deterministic parallelism
RISE., Swedish ICT, SICS, Computer Systems Laboratory.
2008 (engelsk)Rapport (Annet vitenskapelig)
Abstract [en]

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.

sted, utgiver, år, opplag, sider
Kista, Sweden: Swedish Institute of Computer Science , 2008, 1. , s. 8
Serie
SICS Technical Report, ISSN 1100-3154 ; 2008:08
HSV kategori
Identifikatorer
URN: urn:nbn:se:ri:diva-22936OAI: oai:DiVA.org:ri-22936DiVA, id: diva2:1042501
Tilgjengelig fra: 2016-10-31 Laget: 2016-10-31 Sist oppdatert: 2020-12-02bibliografisk kontrollert

Open Access i DiVA

fulltekst(132 kB)66 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 132 kBChecksum SHA-512
2f252982344d3486af7728989c54f188dcd302b14d91fb9d5852f639c4c431000e765c884c28a882f7ff21712d13c996ba19392098d77f029744644f9e7d4ea2
Type fulltextMimetype application/pdf

Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 66 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 37 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.41.0