Data Parallel Dialect of Scheme

We outline new functional programming language and stackbased 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. Because of the limited scope of this paper, we just outline key ideas and postpone detailed description to a full version of this paper.