Visual Programming with Interaction Nets

  • Abubakar Hassan
  • Ian Mackie
  • Jorge Sousa Pinto
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5223)


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.


Programming Language Functional Program Visual Notation Quicksort Algorithm Java Version 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Dami, L., Vallet, D.: Higher-order functional composition in visual form. Technical report (1996)Google Scholar
  2. 2.
    Fernández, M., Mackie, I.: Interaction nets and term rewriting systems. Theoretical Computer Science 190(1), 3–39 (1998)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    Fernández, M., Mackie, I.: Operational equivalence for interaction nets. Theoretical Computer Science 297(1–3), 157–181 (2003)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 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. 7.
    Kelso, J.: A Visual Programming Environment for Functional Languages. Ph.D thesis, Murdoch University (2002)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 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
  10. 10.
    Mackie, I.: Towards a programming language for interaction nets. Electronic Notes in Theoretical Computer Science 127(5), 133–151 (2005)CrossRefGoogle Scholar
  11. 11.
    Pinto, J.S.: Parallel Implementation with Linear Logic. Ph.D thesis, École Polytechnique (February 2001)Google Scholar
  12. 12.
    Reekie, H.J.: Realtime Signal Processing – Dataflow, Visual, and Functional Programming. Ph.D thesis, University of Technology at Sydney (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Abubakar Hassan
    • 1
  • Ian Mackie
    • 2
  • Jorge Sousa Pinto
    • 3
  1. 1.Department of InformaticsUniversity of SussexFalmerUK
  2. 2.LIXÉcole PolytechniquePalaiseau CedexFrance
  3. 3.Departamento de Informática/CCTCUniversidade do MinhoBragaPortugal

Personalised recommendations