Concrete data structure
(CDS) A model of programming language terms developed in the context of constructing fully abstract semantics for sequential languages. A CDS is a 4-tuple (C,V,E,|-) where C is a cell, V is a value, E is an event and |- is an “enabling relation”. An event is a cell and a value. A cell C is “enabled” by a set of events S if S |- C. A state is a set of events which are consistent in that the values they give for any cell are all equal. Every cell in a state is enabled.
[G. Berry, P.-L. Curien, “Theory and practice of sequential algorithms: the kernel of applicative language CDS”, Algebraic methods in semantics, CUP 1985].
(1994-11-30)
Read Also:
- Concretely
[kon-kreet, kong-, kon-kreet, kong- for 1–10, 13–15; kon-kreet, kong- for 11, 12] /ˈkɒn krit, ˈkɒŋ-, kɒnˈkrit, kɒŋ- for 1–10, 13–15; kɒnˈkrit, kɒŋ- for 11, 12/ adjective 1. constituting an actual thing or instance; real: a concrete proof of his sincerity. 2. pertaining to or concerned with realities or actual instances rather than abstractions; particular (opposed […]
- Concrete-mixer
noun 1. .
- Concrete-music
noun 1. . noun 1. music consisting of an electronically modified montage of tape-recorded sounds
- Concreteness
[kon-kreet, kong-, kon-kreet, kong- for 1–10, 13–15; kon-kreet, kong- for 11, 12] /ˈkɒn krit, ˈkɒŋ-, kɒnˈkrit, kɒŋ- for 1–10, 13–15; kɒnˈkrit, kɒŋ- for 11, 12/ adjective 1. constituting an actual thing or instance; real: a concrete proof of his sincerity. 2. pertaining to or concerned with realities or actual instances rather than abstractions; particular (opposed […]
- Concrete-noun
noun, Grammar. 1. a noun denoting something material and nonabstract, as chair, house, or automobile. noun 1. a noun that refers to a material object, as for example horse Compare abstract noun