Digitala Vetenskapliga Arkivet

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
Affine killing: Semantics for stopping the ParT
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.ORCID-id: 0000-0001-8654-118X
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
2017 (engelsk)Inngår i: Proc. 2nd International Workshop on Type-Driven Development, New York: ACM Press, 2017Konferansepaper, Oral presentation with published abstract (Fagfellevurdert)
Abstract [en]

Speculative, parallel abstractions allow that, once a result is computed, the remaining (unnecessary) speculative computations can be safely stopped. However, it is difficult to know when it is safe to stop an ongoing computation. This paper presents a refinement of the parallel speculative ParT abstraction with an affine type system that allows in-place updates, and killing speculative computations using thread-local reasoning. There is ongoing work to prove the soundness of the calculus and implement it in the Encore language.

sted, utgiver, år, opplag, sider
New York: ACM Press, 2017.
HSV kategori
Identifikatorer
URN: urn:nbn:se:uu:diva-326193OAI: oai:DiVA.org:uu-326193DiVA, id: diva2:1119356
Konferanse
TyDe 2017, September 3, Oxford, UK
Tilgjengelig fra: 2017-07-04 Laget: 2017-07-04 Sist oppdatert: 2018-01-13bibliografisk kontrollert

Open Access i DiVA

fulltext(1990 kB)543 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1990 kBChecksum SHA-512
737ce8c9fc6a318d01b60ae488759505e1ca4d3ea3571e31463f66405cf667af1cc4810051ac603b82f1e11a7538a2a365e9adf7f20b3de2f2b3c4a487487ca4
Type fulltextMimetype application/pdf

Søk i DiVA

Av forfatter/redaktør
Fernandez-Reyes, KikoClarke, Dave
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 543 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: 469 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