Beeld op de omslag

Non-Blocking Concurrent Imperative Programming with Session Types

Bewaard in:
Gepubliceerd in:arXiv.org (Jan 18, 2017), p. n/a
Hoofdauteur: Silva, Miguel
Andere auteurs: Florido, Mário, Pfenning, Frank
Gepubliceerd in:
Cornell University Library, arXiv.org
Onderwerpen:
Semantics
Concurrency
Programming languages
Imperative programming
Message passing
Online toegang:Citation/Abstract
Full text outside of ProQuest
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

MARC

LEADER 00000nab a2200000uu 4500
001 2074749436
003 UK-CbPIL
022 |a 2331-8422 
024 7 |a 10.4204/EPTCS.238.7  |2 doi 
035 |a 2074749436 
045 0 |b d20170118 
100 1 |a Silva, Miguel 
245 1 |a Non-Blocking Concurrent Imperative Programming with Session Types 
260 |b Cornell University Library, arXiv.org  |c Jan 18, 2017 
513 |a Working Paper 
520 3 |a Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency. The previously proposed semantics implements asynchronous (non-blocking) output; we extend it here with non-blocking input. A key idea is to postpone message reception as much as possible by interpreting receive commands as a request for a message. We implemented our ideas as a translation from a blocking intermediate language to a non-blocking language. Finally, we evaluated our techniques with several benchmark programs and show the results obtained. While the abstract measure of span always decreases (or remains unchanged), only a few of the examples reap a practical benefit. 
653 |a Semantics 
653 |a Concurrency 
653 |a Programming languages 
653 |a Imperative programming 
653 |a Message passing 
700 1 |a Florido, Mário 
700 1 |a Pfenning, Frank 
773 0 |t arXiv.org  |g (Jan 18, 2017), p. n/a 
786 0 |d ProQuest  |t Engineering Database 
856 4 1 |3 Citation/Abstract  |u https://www.proquest.com/docview/2074749436/abstract/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch 
856 4 0 |3 Full text outside of ProQuest  |u http://arxiv.org/abs/1701.04920