"309102" . "ACM Press" . "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 execution of 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."@en . "data parallelism; implicit parallelism; functional programming; Scheme; pushdown automata"@en . "Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance" . "Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance"@en . . "RIV/61989592:15310/09:00010309" . "Kraj\u010Da, Petr" . "15310" . "Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance" . "2"^^ . "Z(MSM6198959214)" . . . . "RIV/61989592:15310/09:00010309!RIV10-MSM-15310___" . "2205"^^ . . "2"^^ . "978-1-60558-166-8" . "Vychodil, Vil\u00E9m" . . "[3CC6F183683A]" . . . "Proceedings of the 2009 ACM Symposium on Applied Computing (SAC)" . . . . . "New Jersey" . "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 execution of 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." . . "Data parallel dialect of Scheme: Outline of the formal model, implementation, and performance"@en . . . . . .