Abstract
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.
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
Dami, L., Vallet, D.: Higher-order functional composition in visual form. Technical report (1996)
Fernández, M., Mackie, I.: Interaction nets and term rewriting systems. Theoretical Computer Science 190(1), 3–39 (1998)
Fernández, M., Mackie, I.: A calculus for interaction nets. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol. 1702, pp. 170–187. Springer, Heidelberg (1999)
Fernández, M., Mackie, I.: Operational equivalence for interaction nets. Theoretical Computer Science 297(1–3), 157–181 (2003)
Gonthier, G., Abadi, M., Lévy, J.-J.: The geometry of optimal lambda reduction. In: Proceedings of the 19th ACM Symposium on Principles of Programming Languages (POPL 1992), January 1992, pp. 15–26. ACM Press, New York (1992)
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)
Kelso, J.: A Visual Programming Environment for Functional Languages. Ph.D thesis, Murdoch University (2002)
Lafont, Y.: Interaction nets. In: Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL 1990), January 1990, pp. 95–108. ACM Press, New York (1990)
Mackie, I.: Efficient λ-evaluation with interaction nets. In: van Oostrom, V. (ed.) RTA 2004. LNCS, vol. 3091, pp. 155–169. Springer, Heidelberg (2004)
Mackie, I.: Towards a programming language for interaction nets. Electronic Notes in Theoretical Computer Science 127(5), 133–151 (2005)
Pinto, J.S.: Parallel Implementation with Linear Logic. Ph.D thesis, École Polytechnique (February 2001)
Reekie, H.J.: Realtime Signal Processing – Dataflow, Visual, and Functional Programming. Ph.D thesis, University of Technology at Sydney (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hassan, A., Mackie, I., Sousa Pinto, J. (2008). Visual Programming with Interaction Nets. In: Stapleton, G., Howse, J., Lee, J. (eds) Diagrammatic Representation and Inference. Diagrams 2008. Lecture Notes in Computer Science(), vol 5223. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87730-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-87730-1_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87729-5
Online ISBN: 978-3-540-87730-1
eBook Packages: Computer ScienceComputer Science (R0)