Backus language for functional nano-devices

The emergent nano-technologies must be used to design functional nano-devices with complexity in the range of their size. The way to achieve this goal is to define parallel programmable engines. The concept of FP System, introduced by John Backus in 1978, is used to define a high level architectural environment: Backus-Connex Parallel Functional Programming System. The functional forms of FP Systems correspond perfect with the four types of parallelism derived for ConnexArray™ from the Kleene´s computational model. The paper defines the BC programming environment, describes its implementation in Scheme and presents its use for developing real applications for functional nano-devices.