Retaining the Semantics of Data with the Data

A number of inherent weaknesses are identified with using addresses to reference values. These weaknesses negatively impact on the development of architectures using addressing. It is proposed that values should be referenced using semantic information retained with the value. A computational model based on simple arithmetic and natural deduction is presented that illustrates how such a referencing model can be implemented. This model overcomes the weaknesses identified with the von Neumann address-based architecture and compares well to what we ideally hope for in an architecture. The model goes a long way towards making it easy to write programs that execute efficiently on multi- or many-core systems.