Back-end translator for Sisal 3.1 compiler

Sisal is a single-assignment language without side effects. Sisal supports error values and a flow data type and allows recursion. It has a verbose syntax, which reminds that of Pascal in some cases. Sisal is positioned as a language for scientific computations, implicitly parallel and effective. It can significantly simplify the parallel program development if the same program is intended both for a cluster and for one executor, for big and small data effectively. Here we describe the key features of our back-end translator.