Towards a Theory of Conservative Computing