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

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance
Original language description
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.
Czech name
—
Czech description
—

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

Article name in the collection
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC)
ISBN
978-1-60558-166-8
ISSN
—
e-ISSN
—
Number of pages
2205
Pages from-to
—
Publisher name
ACM Press
Place of publication
New Jersey
Event location
—
Event date
—
Type of event by nationality
—
UT code for WoS article
—

Similar results(10)