Abstract
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.
The work was partially supported by the Russian Foundation for Basic Research (grant N 07-07-12050)
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Backus, J.: Can programming be liberated from the von Neumann style? Commun. Commun. ACM. 21(8), 613–641 (1978)
Cann, D.: Retire Fortran? A debate rekindled. Commun. ACM. 35(8), 81–89 (1992)
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)
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)
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)
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)
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)
Skedzielewski, S.K., Glauert, J.: IF1 – An intermediate form for applicative languages, version 1.0. LLNL, Tech. Rep. M-170, Livermore, CA (1985)
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kasyanov, V.N., Stasenko, A.P. (2007). A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition. In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 2007. Lecture Notes in Computer Science, vol 4671. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73940-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-73940-1_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73939-5
Online ISBN: 978-3-540-73940-1
eBook Packages: Computer ScienceComputer Science (R0)