This document introduces a framework which can be used as a general scheme for describing the semantics\ud of languages from the COLD-family. The approach can be classified in the category of 'transformational\ud semantics', where three linguistic levels are distinguished. The first level, called MPL, is a\ud many-sorted version of Scott's E-logic restricted to strict predicates and functions and extended with\ud a minimal fixpoint operator for predicates. The second level, called COLD-logic, can be viewed as a\ud COLD-oriented specialisation of MPL. Among other things, it contains the standard sort 'State' and\ud standard predicates for the initial state, reachability of states, modification of states and existence of\ud objects. The third level defines a language, called COLD-flat, which can be viewed as an extended\ud subset of COLD-S. The main issues that have been omitted are parameterised classes, import/export\ud facilities and recursive definitions, while predicates have been added to the language. The semantics\ud of each linguistic level (except the first) is defined by a formal translation to the next lower level. An\ud example of such a translation from COLD-flat to COLD-logic is presented in the appendix
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.