A formal design kernel language for describing (sequential) software systems in intermediate stages of their design.
[“An Introduction to COLD-K”, H.B.M. Jonkers in Algebraic Methods: Theory, Tools and Applications, M. Wirsing et al eds, LNCS 394, Springer 1989, pp. 139-205].
noun 1. light emitted by a source that is not incandescent, as from a firefly. noun 1. light emitted at low temperatures from a source that is not incandescent, such as fluorescence, phosphorescence, bioluminescence, or triboluminescence
[kohld] /koʊld/ adjective, colder, coldest. 1. having a relatively low temperature; having little or no warmth: cold water; a cold day. 2. feeling an uncomfortable lack of warmth; chilled: The skaters were cold. 3. having a temperature lower than the normal temperature of the human body: cold hands. 4. lacking in passion, emotion, enthusiasm, ardor, […]
- Cold meat
noun phrase A cadaver; corpse; dead meat (1819+)
- Cold moulding
noun 1. the production of moulded articles from resins that polymerize chemically