Functional Techniques for Representing and Specifying Software (Functionele technieken voor het voorstellen en specifiëren van software) KU Leuven
All software is represented as source code in a programming language. Th e programming language defines the meaning or semantics of the code, for example, its operational behaviour. Computational source code is often accompanied by additional specifications that define how the source code should be interpreted or provide additional information about the softw are s semantics. They make it possible for programmers to express and ve rify that ...