Visual Programming with Interaction Nets
Programming directly with diagrams offers potential advantages such as visual intuitions, identification of errors (debugging), and insight into the dynamics of the algorithm. The purpose of this paper is to put forward one particular graphical formalism, interaction nets, as a candidate for visual programming which has not only all the desired properties that one would expect, but also has other benefits as a language, for instance sharing computation.
Unable to display preview. Download preview PDF.
- 1.Dami, L., Vallet, D.: Higher-order functional composition in visual form. Technical report (1996)Google Scholar
- 6.Hanna, K.: Interactive Visual Functional Programming. In: Jones, S.P. (ed.) Proc. Intnl. Conf. on Functional Programming, October 2002, pp. 100–112. ACM Press, New York (2002)Google Scholar
- 7.Kelso, J.: A Visual Programming Environment for Functional Languages. Ph.D thesis, Murdoch University (2002)Google Scholar
- 9.Mackie, I.: Efficient λ-evaluation with interaction nets. In: van Oostrom, V. (ed.) RTA 2004. LNCS, vol. 3091, pp. 155–169. Springer, Heidelberg (2004)Google Scholar
- 11.Pinto, J.S.: Parallel Implementation with Linear Logic. Ph.D thesis, École Polytechnique (February 2001)Google Scholar
- 12.Reekie, H.J.: Realtime Signal Processing – Dataflow, Visual, and Functional Programming. Ph.D thesis, University of Technology at Sydney (1995)Google Scholar