The Semantical Definition of Programming Languages in Terms of Their Data Spaces

In this paper we extend the notion of data type with a control structure to define “data spaces” that are useful in describing semantical aspects of programming languages as well as properties of software systems. The latter, in fact, are included in the former, since a programming language usually serves as a vehicle for expressing something that a computer system does.