Dictionary: A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z

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)

Tagged:

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 […]



Disclaimer: Concrete data structure definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.