Unconventional computer programming

AISB/IACAP World Congress 2012: Natural Computing/Unconventional Computing and Its Philosophical Significance, Part of Alan Turing Year 2012

Volumn , Issue , 2012, Pages 12-15

  Stepney, Susan ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL COMPUTING; CLASSICAL MODEL; GENERATIVE SYSTEMS; QUANTUM EFFECTS; REASONING ABOUT PROGRAMS; SELF-REFERENCES; SLIME MOULDS; UNCONVENTIONAL COMPUTING;

COMPUTER PROGRAMMING; DYNAMICAL SYSTEMS; MOLDS; PHILOSOPHICAL ASPECTS; QUANTUM ELECTRONICS;

SUBSTRATES;

EID: 84893168258     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (47)

1. Ralph H. Abraham, ?Dynamics and self-organization?, in Selforganizing Systems: The Emergence of Order, ed., F. Eugene Yates, 599-613, Plenum, (1987).
2. Peter Aczel, Non-well-founded sets, CSLI, 1988.
3. Kathleen T. Alligood, Tim D. Sauer, and James A. Yorke, Chaos : an introduction to dynamical systems, Springer, 1996.
4. Jörg Arndt and Christoph Haenel, Unleashed, Springer, 2001.
5. J. C. M. Baeten and W. P. Weijland, Process Algebra, Cambridge University Press, 1990.
6. M. Baguelin, J. LeFevre, and J. P. Richard, ?A formalism for models with a metadynamically varying structure?, in Proc. European Control Conference, Cambridge, UK, (2003).
7. Jon Barwise and John Etchemendy, The Liar: an essay on truth and circularity, Oxford University Press, 1987.
8. Randall D. Beer, ?A dynamical systems perspective on agentenvironment interaction?, Artificial Intelligence, 72(1-2), 173-215, (1995).
9. Luca Cardelli and Andrew D. Gordon, ?Mobile ambients?, Theor. Comput. Sci., 240(1), 177-213, (2000).
10. Ernst Cassirer, An Essay on Man, Yale University Press, 1944.
11. B. Jack Copeland, ?The modern history of computing?, in The Stanford Encyclopedia of Philosophy, ed., Edward N. Zalta, fall 2008 edn., (2008).
12. Carlos Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, and Encarnacin Beato, ?Coordination in a reflective architecture description language?, in Coordination Models and Languages, eds., Farhad Arbab and Carolyn Talcott, volume 2315 of LNCS, 479-486, Springer, (2002).
13. Carlos Cuesta, M. Romay, Pablo de la Fuente, and Manuel Barrio-Solórzano, ?Reflection-based, aspect-oriented software architecture?, in Software Architecture, eds., Flavio Oquendo, Brian Warboys, and Ron Morrison, volume 3047 of LNCS, 43-56, Springer, (2004).
14. Antoine Danchin, The Delphic Boat: what genomes tell us, Harvard University Press, 2002.
15. David Deutsch, ?Quantum theory, the Church-Turing principle and the universal quantum computer?, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 400(1818), 97-117, (1985).
16. C. C. Enz and E. A. Vittoz, ?CMOS low-power analog circuit design?, in Emerging Technologies, Tutorial for 1996 International Symposium on Circuits and Systems, 79-133, IEEE Service Center, (1996).
17. Jean-Louis Giavitto and Olivier Michel, ?Data structure as topological spaces?, in Proceedings of the 3nd International Conference on Unconventional Models of Computation UMC02, volume 2509 of LNCS, pp. 137-150. Springer, (2002).
18. Jean-Louis Giavitto and Antoine Spicher, ?Topological rewriting andthe geometrization of programming?, Physica D, 237(9), 1302-1314, (2008).
19. Charlotte Perkins Gilman, Human Work, McClure, Philips and Co, 1904.
20. Jeffrey Goldstein, ?Emergence as a construct: History and issues?, Emergence, 1(1), 49-72, (1999).
21. Stephen W. Hawking, A Brief History of Time, Bantam Dell, 1988.
22. Jane Hillston, A Compositional Approach to Performance Modelling, Cambridge University Press, 1996.
23. C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.
24. Mark Hogarth, ?Does general relativity allow an observer to view an eternity in a finite time, Foundations of Physics Letters, 5(2), 173-181, (1992).
25. Tim Ingold, ?An anthropologist looks at biology?, Man, 25, 208-229, (1990).
26. Bart Jacobs, Introduction to Coalgebra. Towards Mathematics of States and Observations, 2005. draft available from http://www.cs.ru.nl/B.Jacobs/PAPERS/.
27. Pattie Maes, ?Concepts and experiments in computational reflection?, in OOPSLA?87, pp. 147-155. ACM Press, (1987).
28. Humberto R. Maturana and Francisco J. Varela, Autopoeisis and Cognition: the realization of the living, D. Reidel, 1980.
29. Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, and Jean-Louis Giavitto, ?Challenging questions for the rationale of non-classical programming languages?, International Journal of Unconventional Computing, 2(4), 337-347, (2006).
30. Robin Milner, A Calculus of Communicating Systems, Springer, 1980.
31. Robin Milner, Communication and Concurrency, Prentice Hall, 1989.
32. Robin Milner, Communicating and Mobile Systems: the π-Calculus, Cambridge University Press, 1999.
33. Robin Milner, The Space and Motion of Communicating Agents, Cambridge University Press, 2009.
34. E. Moulay and M. Baguelin, ?Meta-dynamical adaptive systems and their application to a fractal algorithm and a biological model?, Physica D, 207, 7990, (2005).
35. NIST. The NIST reference on constants, units, and uncertainty, 2011. http://physics.nist.gov/cuu/Constants/.
36. NPL. What is the most accurate measurement known?, 2010. http://www.npl.co.uk/reference/faqs/what-is-the-most-accuratemeasurement-known- (faq-quantum).
37. Gheorghe Pǎun, ?Computing with membranes?, Journal of Computer and System Sciences, 61(1), 108-143, (2000).
38. Przemyslaw Prusinkiewicz and Aristid Lindenmayer, The Algorithmic Beauty of Plants, Springer, 1990.
39. Robert Rosen, Life Itself: a comprehensive enquiry into the nature, origin, and fabrication of life, Columbia University Press, 1991.
40. Davide Sangiorgi, ?On the origins of bisimulation and coinduction?, ACM Transactions on Programming Languages and Systems, 31(4), 15:1-15:41, (2009).
41. Susan Stepney, ?Nonclassical computation: a dynamical systems perspective?, in Handbook of Natural Computing, volume II, eds., Grzegorz Rozenberg, Thomas Bäck, and Joost N. Kok, chapter 52, Springer, (2011).
42. Susan Stepney and Tim Hoverd, ?Reflecting on open-ended evolution?, in ECAL 2011, Paris, France, August 2011, pp. 781-788. MIT Press, (2011).
43. Susan Stepney, Fiona Polack, and Heather Turner, ?Engineering emergence?, in ICECCS 2006: 11th IEEE International Conference on Engineering of Complex Computer Systems, Stanford, CA, USA, August 2006, pp. 89-97. IEEE, (2006).
44. Steven H. Strogatz, Nonlinear Dynamics and Chaos, Westview Press, 1994.
45. Kohji Tomita, Satoshi Murata, and Haruhisa Kurokawa, ?Selfdescription for construction and computation on graph-rewriting automata?, Artificial Life, 13(4), 383-396, (2007).
46. Alan M. Turing, ?On computable numbers, with an application to the entscheidungsproblem?, Proceedings of the London Mathematical Society, s2-42(1), 230-265, (1937).
47. Alexander J. Yee and Shigeru Kondo. Round 2. . 10 trillion digits of pi, 2011. http://www.numberworld.org/misc runs/pi-10t/details.html.