Abstract
The functional programming system SFP under development at the Institute of Informatics Systems in Novosibirsk is aimed at supporting development of parallel computing applications that still offer high performance and portability. The paper describes equivalent transformations of the Sisal 3.2 programming language (based on Sisal 90) structures. These transformations are to decompose the complex language structures into more simple ones that can be directly expressed by the internal representation IR1, which is based on the intermediate form language IF1. Currently some description of similar transformations can be found in few works about Sisal 90 in the form of examples. These transformations are performed by the front-end compiler from Sisal 3.2 into IR1 and help to better understand its translation strategy. The paper also briefly describes IR1 languages.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Backus J (1978) Can programming be liberated from the von Neumann style? Commun ACM 21:613–641
Cann D (1992) Retire Fortran? A debate rekindled. Commun ACM 35:81–89
Gaudiot J–L, DeBoni T, Feo J, Bohm W, Najjar W, Miller P (2001) The Sisal project: real world functional programming. Lect Notes Comput Sci 1808:45–72
Feo J, et al (1995) SISAL 90. In: Proc. High Performance Functional Computing, Denver, pp 35–47
Stasenko AP, Sinyakov AI (2006) Basic means of the Sisa 3.1 language (in Russian). Preprint N 132, A.P. Ershov Institute of Informatics Systems, Novosibirsk
Kasyanov VN, Stasenko AP, Gluhankov MP, Dortman PA, Pyjov KA, Sinyakov AI (2006) SFP – An interactive visual environment for supporting of functional programming and supercomputing. WSEAS Trans Comput 5:2063–2070
Kasyanov VN, Biryukova YuV, Evstigneev VA (2001) A functional language SISAL 3.0 (in Russian). In: Supercomputing support and Internet-oriented technologies, Novosibirsk, pp 54–67
Stasenko AP (2004) Internal representation of functional programming system SISAL 3.0 (in Russian). Preprint N 110, A.P. Ershov Institute of Informatics Systems, Novosibirsk
Skedzielewski SK, Glauert J (1985) IF1 – An intermediate form for applicative languages, version 1.0. Tech. Rep. M-170, Lawrence Livermore National Laboratory, Livermore, CA
Kasyanov VN, Lisitsyn IA (2000) Hierarchical graph models and visual processing. In: Proceedings of the International Conference on Software: Theory and Practice, 16th IFIP World Computer Congress, PHEI, Beijing, pp 179–182
Acknowledgments
The authors are thankful to all colleagues taking part in the SFP project. The work was partially supported by the Russian Foundation for Basic Research under grant N 07-07-12050.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media, LLC
About this paper
Cite this paper
Kasyanov, V.N., Stasenko, A.P. (2009). Sisal 3.2 Language Structure Decomposition. In: Mastorakis, N., Mladenov, V., Kontargyri, V. (eds) Proceedings of the European Computing Conference. Lecture Notes in Electrical Engineering, vol 28. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-85437-3_53
Download citation
DOI: https://doi.org/10.1007/978-0-387-85437-3_53
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-84818-1
Online ISBN: 978-0-387-85437-3
eBook Packages: EngineeringEngineering (R0)