Unconventional Programming Paradigms

1. Front Matter

   PDF

2. Invited Talk

   1. Front Matter

      Pages 1-1

      PDF

   2. From Quantum Physics to Programming Languages: A Process Algebraic Approach

      • Philippe Jorrand, Marie Lalire

      Pages 1-16

3. Chemical Computing

   1. Front Matter

      Pages 17-17

      PDF

   2. Chemical Computing

      • Peter Dittrich

      Pages 19-32

   3. Programming Reaction-Diffusion Processors

      • Andrew Adamatzky

      Pages 33-46

   4. From Prescriptive Programming of Solid-State Devices to Orchestrated Self-organisation of Informed Matter

      • Klaus-Peter Zauner

      Pages 47-55

   5. Relational Growth Grammars – A Graph Rewriting Approach to Dynamical Systems with a Dynamical Structure

      • Winfried Kurth, Ole Kniemeyer, Gerhard Buck-Sorlin

      Pages 56-72

   6. A New Programming Paradigm Inspired by Artificial Chemistries

      • W. Banzhaf, C. Lasarczyk

      Pages 73-83

   7. Higher-Order Chemical Programming Style

      • J. -P. Banâtre, P. Fradet, Y. Radenac

      Pages 84-95

4. Amorphous Computing

   1. Front Matter

      Pages 97-97

      PDF

   2. Introduction to Amorphous Computing

      • Daniel Coore

      Pages 99-109

   3. Abstractions for Directing Self-organising Patterns

      • Daniel Coore

      Pages 110-120

   4. Programming an Amorphous Computational Medium

      • Jacob Beal

      Pages 121-136

   5. Computations in Space and Space in Computations

      • Jean-Louis Giavitto, Olivier Michel, Julien Cohen, Antoine Spicher

      Pages 137-152

5. Bio-inspired Computing

   1. Front Matter

      Pages 153-153

      PDF

   2. Bio-inspired Computing Paradigms (Natural Computing)

      • Gheorghe Păun

      Pages 155-160

   3. Inverse Design of Cellular Automata by Genetic Algorithms: An Unconventional Programming Paradigm

      • Thomas Bäck, Ron Breukelaar, Lars Willmes

      Pages 161-172

   4. Design, Simulation, and Experimental Demonstration of Self-assembled DNA Nanostructures and Motors

      • John H. Reif, Thomas H. LaBean, Sudheer Sahu, Hao Yan, Peng Yin

      Pages 173-187

   5. Membrane Systems: A Quick Introduction

      • Gheorghe Păun

      Pages 188-195

Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the users, the growing number of p- grams and the sharing of information, competences and services thanks to the generalization ofdatabasesandcommunication networks. Aprogramisnomore a monolithic entity conceived, produced and ?nalized before being used. A p- gram is now seen as an open and adaptive frame, which, for example, can - namically incorporate services not foreseen by the initial designer. These new needs call for new control structures and program interactions. Unconventionalapproachestoprogramminghavelongbeendevelopedinv- iousnichesandconstituteareservoirofalternativewaystofacetheprogramming languages crisis. New models of programming (e. g. , bio-inspired computing, - ti?cialchemistry,amorphouscomputing,. . . )arealsocurrentlyexperiencinga renewed period of growth as they face speci?c needs and new application - mains. These approaches provide new abstractions and notations or develop new ways of interacting with programs. They are implemented by embedding new sophisticated data structures in a classical programming model (API), by extending an existing language with new constructs (to handle concurrency, - ceptions, open environments, . . . ), by conceiving new software life cycles and program executions (aspect weaving, run-time compilation) or by relying on an entire new paradigm to specify a computation. They are inspired by theoretical considerations (e. g. , topological, algebraic or logical foundations), driven by the domain at hand (domain-speci?c languages like PostScript, musical notation, animation, signal processing, etc. ) or by metaphors taken from various areas (quantum computing, computing with molecules, informationprocessing in - ological tissues, problem solving from nature, ethological and social modeling).

• adaptive systems
• algorithms
• amorphous computing
• automata
• autonomic computing
• bio-inspired computing
• chemical computing
• generative programming
• genetic computing
• programming paradigms
• quantum computing
• self-organization
• unconventional programming paradigms

• Université de Rennes I and INRIA/IRISA, Rennes Cedex, France

  Jean-Pierre Banâtre

• INRIA Rhône-Alpes - POP ART project, Montbonnot, France

  Pascal Fradet

• LaMI UMR 8042 CNRS – Université d’Evry, Genopole, Evry, France

  Jean-Louis Giavitto, Olivier Michel

Policies and ethics