New program constructs and semantics for reversible computation

Abstract

We review our previously reported programming constructs for reversible computing which are based on the classical relational model. We note that, although mathematically elegant, the description of programming constructs is too abstract to capture the important concept of preference. Toto capture the important concept of preference. To remedy this we… (More)

Topics

Cite this paper

@inproceedings{Stoddart2011NewPC, title={New program constructs and semantics for reversible computation}, author={Bill Stoddart}, year={2011} }