uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
Show others and affiliations
2015 (English)In: Formal Methods for Multicore Programming, 2015, 1-56 p.Conference paper, Published paper (Refereed)
Abstract [en]

The age of multi-core computers is upon us, yet current programming languages, typically designed for single-core computers and adapted post hoc for multi-cores, remain tied to the constraints of a sequential mindset and are thus in many ways inadequate. New programming language designs are required that break away from this old-fashioned mindset. To address this need, we have been developing a new programming language called Encore, in the context of the European Project UpScale. The paper presents a motivation for the Encore language, examples of its main constructs, several larger programs, a formalisation of its core, and a discussion of some future directions our work will take. The work is ongoing and we started more or less from scratch. That means that a lot of work has to be done, but also that we need not be tied to decisions made for sequential language designs. Any design decision can be made in favour of good performance and scalability. For this reason, Encore offers an interesting platform for future exploration into object-oriented parallel programming.

Place, publisher, year, edition, pages
2015. 1-56 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9104
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-267514DOI: 10.1007/978-3-319-18941-3_1ISI: 000362511600001ISBN: 978-3-319-18941-3; 978-3-319-18940-6 (print)OAI: oai:DiVA.org:uu-267514DiVA: diva2:878274
Conference
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM), JUN 15-19, 2015, Bertinoro, ITALY
Available from: 2015-12-08 Created: 2015-11-24 Last updated: 2015-12-08Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Brandauer, StephanCastegren, EliasClarke, DaveFernandez-Reyes, KikoWrigstad, TobiasYang, Albert Mingkun

Search in DiVA

By author/editor
Brandauer, StephanCastegren, EliasClarke, DaveFernandez-Reyes, KikoWrigstad, TobiasYang, Albert Mingkun
By organisation
Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 291 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf