Semantics of Data Structures and References

Abstract

Each programming language that handles data structures has its own set of rules for working with them. Notions such as assignment and construction of structures values appear in a huge number of different and complicated versions. This thesis presents a methodology which provides a common basis for describing ways in which programming languages deal with data structures and reference to them.