Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F09%3A00010309" target="_blank" >RIV/61989592:15310/09:00010309 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance

Popis výsledku v původním jazyce

We introduce new functional programming languages and stack-based model of implicit parallel execution of programs. The language, called Schemik, is high-level lexically-scoped implicitly-parallel dialect of Scheme. Schemik is designed as an implicitly parallel language, meaning that the parallel execution of programs is done independently of the programmer and each program written in Schemik always produces the same results no matter which parts of the program are executed simultaneously. The executionof programs is formally described by transitions of a particular pushdown automaton working with two stacks. This paper presents description of the language, stack-based model of serial and parallel execution of programs, implementation issues, and experiments showing scalability of the model and its implementation.

Název v anglickém jazyce

Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance

Popis výsledku anglicky

We introduce new functional programming languages and stack-based model of implicit parallel execution of programs. The language, called Schemik, is high-level lexically-scoped implicitly-parallel dialect of Scheme. Schemik is designed as an implicitly parallel language, meaning that the parallel execution of programs is done independently of the programmer and each program written in Schemik always produces the same results no matter which parts of the program are executed simultaneously. The executionof programs is formally described by transitions of a particular pushdown automaton working with two stacks. This paper presents description of the language, stack-based model of serial and parallel execution of programs, implementation issues, and experiments showing scalability of the model and its implementation.

Druh

D - Stať ve sborníku

CEP obor

JD - Využití počítačů, robotika a její aplikace

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC)

ISBN

978-1-60558-166-8

ISSN

—

e-ISSN

—

Počet stran výsledku

2205

Strana od-do

—

Název nakladatele

ACM Press

Místo vydání

New Jersey

Místo konání akce

—

Datum konání akce

—

Typ akce podle státní příslušnosti

—

Kód UT WoS článku

—