a functional programming system SFP: sisal 3.1 language structures decomposition

Authors:
V. N. Kasyanov;A. P. Stasenko
Affiliations:
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia;A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
Venue:
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Year:
2007

Citing 2
Cited 0

Retire Fortran?: a debate rekindled

Communications of the ACM
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

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.