A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition

  • Victor N. Kasyanov
  • Alexander P. Stasenko
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4671)


The paper describes equivalent transformations of structures of the Sisal 3.1 programming language (based on Sisal 90). These transformations are aimed to decompose the complex language structures into more simple ones that can be directly expressed by the internal representation IR1 (based on the IF1 language). Currently some description of similar transformations can be found in few works about Sisal 90 in the form of examples. A front-end compiler from Sisal 3.1 into IR1 performs these transformations, so they can help to understand better its translation strategy. The paper also briefly describes Sisal 3.1 and IR1.


Sisal 3.1 functional programming parallel programming program transformation internal representation front-end compiler 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Backus, J.: Can programming be liberated from the von Neumann style? Commun. Commun. ACM. 21(8), 613–641 (1978)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Cann, D.: Retire Fortran? A debate rekindled. Commun. ACM. 35(8), 81–89 (1992)Google Scholar
  3. 3.
    Feo, J.T., Miller, P.J., Skedzielewski, S.K., Denton, S.M.: Sisal 90 user’s guide. Lawrence Livermore National Laboratory, Draft 0.96, Livermore, CA (1995)Google Scholar
  4. 4.
    Stasenko, A.P., Sinyakov, A.I.: Basic means of the Sisal 3.1 language. A.P. Ershov Institute of Informatics Systems, Tech. Rep. N 132 (in Russian), Novosibirsk (2006)Google Scholar
  5. 5.
    Kasyanov, V.N., Stasenko, A.P., Gluhankov, M.P., Dortman, P.A., Pyjov, K.A., Sinyakov, A.I.: SFP – An interactive visual environment for supporting of functional programming and supercomputing. WSEAS Transactions on Computers 5(9), 2063–2070 (2006)Google Scholar
  6. 6.
    Kasyanov, V.N., Biryukova, Y.V., Evstigneev, V.A.: A functional language Sisal 3.0. Supercomputing support and Internet-oriented technologies, Novosibirsk (in Russian) pp. 54–67 (2001)Google Scholar
  7. 7.
    Stasenko, A.P.: Internal representation of functional programming system Sisal 3.0. A.P. Ershov Institute of Informatics Systems, Tech. Rep. N 110 (in Russian), Novosibirsk (2004)Google Scholar
  8. 8.
    Skedzielewski, S.K., Glauert, J.: IF1 – An intermediate form for applicative languages, version 1.0. LLNL, Tech. Rep. M-170, Livermore, CA (1985)Google Scholar
  9. 9.
    Kasyanov, V.N., Lisitsyn, I.A.: Hierarchical graph models and visual processing. In: Proc. of Intern. Conf. on Software: Theory and Practice, 16th IFIP World Computer Congress, PHEI, Beijing, pp. 179–182 (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Victor N. Kasyanov
    • 1
  • Alexander P. Stasenko
    • 1
  1. 1.A.P. Ershov Institute of Informatics Systems, Novosibirsk, 630090Russia

Personalised recommendations