AUTHORS: Victor Kasyanov, Elena Kasyanova
Download as PDF
ABSTRACT: In this paper, a visual cloud system being under development for supporting of functional and parallel programming teaching and learning is considered. The input language of the system is a functional language Cloud Sisal that exposes implicit parallelism through data dependence and guarantees determinate result as well as supports data types and operators typical for scientific calculations such as loops and arrays. The system is aimed to provide means to write and debug Cloud-Sisal-programs on low-cost devices as well as to translate and execute them in clouds.
KEYWORDS: Computer science education; functional programming; hierarchical graph representations; parallel programming; visual cloud system
REFERENCES:
[1] J. Backus. Can programming be liberated from the von Neumann style? Commun. ACM, Vol.21, No.8, 1978, pp. 613–641.
[2] V.N. Kasyanov. Methods and tools for structural information visualization, WSEAS Transactions on Computers, Vol. 12, No. 7, 2013, pp. 349–359.
[3] D.C. Cann. Retire Fortran?: a debate rekindled, Commun. ACM, Vol. 34, No. 8, 1992, pp. 81– 89.
[4] J.-L. Gaudiot, T. DeBoni, J. Feo, et all. The Sisal project: real world functional programming, Lecture Notes in Computer Science, Vol.1808, 2001, pp. 45–72.
[5] J. McGraw, S. Skedzielewski, S. Allan, et all. SISAL-Streams and Iterations in a Single Assignment Language, Language Reference Manual: Version 1.2. Technical Report TR M- 146, University of California, Lawrence Livermore Laboratory, March, 1985.
[6] J.T.Feo, P.J. Piller, S.K. Skedzielewski, et all. SISAL 90. In: Proceedings of High Performance Functional Computing, Denver, 1995, pp. 35–47,
[7] V.N. Kasyanov. Sisal 3.2: functional language for scientific parallel programming, Enterprise Information Systems, Vol. 7, No. 2, 2013, pp. 227-236.
[8] D.C. Cann, J.T. Feo, A.P.W. Böhm, et all: Sisal Reference Manual: Language Version 2.0. Tech. Rep. Lawrence Livermore National Laboratory, UCRL-MA-109098, Livermore, CA, 1991.
[9] R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and K. Zadeck: Efficiently computing static single assignment form. Transactions on Programming Languages and Systems, Vol. 13, No. 4, 1991, pp. 451-490.
[10] V.N. Kasyanov. Transformational approach to program concretization, Theoretical Computer Science, Vol. 90, No. 1, 1991, pp. 37-46.
[11] V.N. Kasyanov. A support tool for annotated program manipulation, In: Proc. of Fifth European Conf. on Software Maintenance and Reengineering, IEEE Computer Society Press, 2001, pp. 85–94.
[12] U. Brandes, M. Eiglsperger, J. Lerner, and C. Pich. Graph Markup Language (GraphML), In: Handbook of Graph Drawing and Visualization. CRC Press, 2013, pp. 517–541.
[13] V.N. Kasyanov, T.A. Zolotuhin. Visual Graph – a system for visualization of big size complex structural information on the base of graph models, Scientific Visualization, Vol. 7, No. 4, 2015, pp. 44 – 59. (In Russian).
[14] L. Legalov: Functional language for creation of architecture-independent parallel programs. Computational Technologies, Vol. 10, No. 1, 2005, pp. 71-89. (In Russian).
[15] D. Syme, A. Granicz, A. Cisternino: Expert F#3.0. Apress, 2012.