References

  1. Jose Bacelar Almeida, Jorge Sousa Pinto & Miguel Vilaca (2008): A tool for programming with interaction nets. Electronic Notes in Theoretical Computer Science 219, pp. 83–96, doi:10.1016/j.entcs.2008.10.036.
  2. Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet & Bruno Pinaud (2011): PORGY: Strategy-Driven Interactive Transformation of Graphs. In: Rachid Echahed: Proceedings 6th International Workshop on Computing with Terms and Graphs, Saarbrücken, Germany, 2nd April 2011, Electronic Proceedings in Theoretical Computer Science 48, pp. 54–68, doi:10.4204/EPTCS.48.7.
  3. Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell & Vinod Grover (2011): Accelerating Haskell array codes with multicore GPUs. In: Manuel Carro & John H. Reppy: Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011, pp. 3–14, doi:10.1145/1926354.1926358.
  4. Maribel Fernández & Ian Mackie (1999): A Calculus for Interaction Nets. In: Gopalan Nadathur: Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29–October 1, 1999, Proceedings, Lecture Notes in Computer Science 1702. Springer, pp. 170–187, doi:10.1007/10704567_10.
  5. Abubakar Hassan, Ian Mackie & Shinya Sato (2010): A lightweight abstract machine for interaction nets. Electronic Communication of the European Association of Software Science and Technology 29.
  6. Jared Hoberock & Nathan Bell (2010): Thrust: A Parallel Template Library. Available at http://www.meganewtons.com/. Version 1.3.0.
  7. Sungpack Hong, Sang Kyun Kim, Tayo Oguntebi & Kunle Olukotun (2011): Accelerating CUDA graph algorithms at maximum warp. In: Calin Cascaval & Pen-Chung Yew: Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2011, San Antonio, TX, USA, February 12-16, 2011, pp. 267–276, doi:10.1145/1941553.1941590.
  8. The Inets Project site [Online, accessed 13-April-2012]. http://gna.org/projects/inets.
  9. Yves Lafont (1990): Interaction Nets. In: Frances E. Allen: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990. ACM, pp. 95–108, doi:10.1145/96709.96718.
  10. Markus Lipp, Peter Wonka & Michael Wimmer (2010): Parallel generation of multiple L-systems. Computers & Graphics 34(5), pp. 585–593, doi:10.1016/j.cag.2010.05.014.
  11. Sylvain Lippi (2002): in^\voidb@x 2 : A Graphical Interpreter for Interaction Nets. In: Sophie Tison: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, Lecture Notes in Computer Science 2378, pp. 380–386, doi:10.1007/3-540-45610-4_29.
  12. Mario Méndez-Lojo, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Muhammad Amber Hassaan, Milind Kulkarni, Martin Burtscher & Keshav Pingali (2010): Structure-driven optimizations for amorphous data-parallel programs. In: R. Govindarajan, David A. Padua & Mary W. Hall: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 3–14, doi:10.1145/1693453.1693457.
  13. Jorge Sousa Pinto (2001): Parallel Evaluation of Interaction Nets with MPINE. In: Aart Middeldorp: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, Lecture Notes in Computer Science 2051, pp. 353–356, doi:10.1007/3-540-45127-7_26.
  14. Joel Svensson, Koen Claessen & Mary Sheeran (2010): GPGPU kernel implementation and refinement using Obsidian. Procedia Computer Science 1(1), pp. 2065–2074, doi:10.1016/j.procs.2010.04.231.
  15. Wikipedia (2011): L-system — Wikipedia, The Free Encyclopedia [Online, accessed 23-November-2011]. http://en.wikipedia.org/wiki/L-system.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org