Heterotic computing

Authors:
Viv Kendon;Angelika Sebald;Susan Stepney;Matthias Bechmann;Peter Hines;Robert C. Wagner
Affiliations:
School of Physics and Astronomy, University of Leeds, UK;Department of Chemistry, University of York, UK;Department of Computer Science, University of York, UK;Department of Chemistry, University of York, UK;Department of Computer Science, University of York, UK;School of Physics and Astronomy, University of Leeds, UK
Venue:
UC'11 Proceedings of the 10th international conference on Unconventional computation
Year:
2011

Citing 11
Cited 1

Introduction to higher order categorical logic

Introduction to higher order categorical logic
Why interaction is more powerful than algorithms

Communications of the ACM
Retrenchment: An Engineering Variation on Refinement

B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
A categorical framework for finite state machines

Mathematical Structures in Computer Science
A Categorical Semantics of Quantum Protocols

LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Quantum weakest preconditions

Mathematical Structures in Computer Science
Engineering and theoretical underpinnings of retrenchment

Science of Computer Programming
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements

Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Breaking the Model: Finalisation and a Taxonomy of Security Attacks

Electronic Notes in Theoretical Computer Science (ENTCS)
Universal continuous variable quantum computation in the micromaser

UC'10 Proceedings of the 9th international conference on Unconventional computation
From binary to continuous gates - and back again

ICES'10 Proceedings of the 9th international conference on Evolvable systems: from biology to hardware

Heterotic computing examples with optics, bacteria, and chemicals

UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Non-classical computation has tended to consider only single computational models: neural, analog, quantum, etc. However, combined computational models can both have more computational power, and more natural programming approaches, than such 'pure' models alone. Here we outline a proposed new approach, which we term heterotic computing1. We discuss how this might be incorporated in an accessible refinement-based computational framework for combining diverse computational models, and describe a range of physical exemplars (combinations of classical discrete, quantum discrete, classical analog, and quantum analog) that could be used to demonstrate the capability.