home >
publications > non-standard
computation > *A Framework for Heterotic Computing*

### Susan Stepney, Viv Kendon, Peter Hines, Angelika
Sebald.

A Framework for Heterotic Computing.

*8th workshop on Quantum Physics and Logic (QPL
2011) Nijmegen, Netherlands, October 2011*. *EPTCS* **95**:263-273,
2012

#### Abstract:

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.

doi:10.4204/EPTCS.95.18
| full paper: PDF 348K
| an updated and revised version of a previous conference paper

@inproceedings(SS-ICES2010,
author = "Susan Stepney and Viv Kendon and Peter Hines and Angelika Sebald",
title = "A Framework for Heterotic Computing",
pages = "263-273",
crossref = "QPL2011"
)
@proceedings(QPL2011,
title = "8th workshop on Quantum Physics and Logic (QPL 2011) Nijmegen, Netherlands",
booktitle = "8th workshop on Quantum Physics and Logic (QPL 2011) Nijmegen, Netherlands",
series = "EPTCS",
volume = 95,
year = 2012
)