A Framework for Heterotic Computing

Susan Stepney
(Department of Computer Science, University of York, UK)
Viv Kendon
(School of Physics and Astronomy, University of Leeds, UK)
Peter Hines
(Department of Computer Science, University of York, UK)
Angelika Sebald
(Department of Chemistry, University of York, UK)

Computational devices combining two or more different parts, one controlling the operation of the other, for example, derive their power from the interaction, in addition to the capabilities of the parts. Non-classical computation has tended to consider only single computational models: neural, analog, quantum, chemical, biological, neglecting to account for the contribution from the experimental controls. In this position paper, we propose a framework suitable for analysing combined computational models, from abstract theory to practical programming tools. Focusing on the simplest example of one system controlled by another through a sequence of operations in which only one system is active at a time, the output from one system becomes the input to the other for the next step, and vice versa. We outline the categorical machinery required for handling diverse computational systems in such combinations, with their interactions explicitly accounted for. Drawing on prior work in refinement and retrenchment, we suggest an appropriate framework for developing programming tools from the categorical framework. We place this work in the context of two contrasting concepts of "efficiency": theoretical comparisons to determine the relative computational power do not always reflect the practical comparison of real resources for a finite-sized computational task, especially when the inputs include (approximations of) real numbers. Finally we outline the limitations of our simple model, and identify some of the extensions that will be required to treat more complex interacting computational systems.

In Bart Jacobs, Peter Selinger and Bas Spitters: Proceedings 8th International Workshop on Quantum Physics and Logic (QPL 2011), Nijmegen, Netherlands, October 27-29, 2011, Electronic Proceedings in Theoretical Computer Science 95, pp. 263–273.
Published: 1st October 2012.

ArXived at: http://dx.doi.org/10.4204/EPTCS.95.18 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org