Je was op zoek naar: denotational (Engels - Grieks)

denotational semantics
μοντέλο ενδεικτικής σημαντικής

isbn 978-0262731034* r. d. tennent, "denotational semantics".
(isbn 978-0262731034)* r. d. tennent, "denotational semantics".

* lloyd allison, "a practical introduction to denotational semantics" cambridge university press.
* lloyd allison, "a practical introduction to denotational semantics", cambridge university press.

"exercises in denotational semantics" mfcs 1976: 1-11* j. w. de bakker.
"exercises in denotational semantics" mfcs 1976: 1-11* j. w. de bakker.

* jerald schwartz "denotational semantics of parallelism" "in semantics of concurrent computation".
* jerald schwartz "denotational semantics of parallelism" in semantics of concurrent computation.

denotational semantics have been developed for modern programming languages that use capabilities like concurrency and exceptions, e.g., concurrent ml, csp, and haskell.
Έχουν αναπτυχθεί δηλωτικές σημασιολογίες για σύγχρονες γλώσσες προγραμματισμού που χρησιμοποιούν capabilities όπως ο ταυτοχρονισμός και οι εξαιρέσεις, π.χ.

== motivation and intuition ==the primary motivation for the study of domains, which was initiated by dana scott in the late 1960s, was the search for a denotational semantics of the lambda calculus.
Το βασικό κίνητρο για τη μελέτη των πεδίων, που άρχισε στα τέλη της δεκαετίας του 1960 από τον dana scott, ήταν η αναζήτηση δηλωτικής σημασιολογίας για το λ-λογισμό.

"'denotational semantics of a parallel object-oriented language" "information and computation", 83(2):152–205 (1989)* david a. schmidt, "the structure of typed programming languages".
"denotational semantics of a parallel object-oriented language", information and computation, 83(2): 152 - 205 (1989)* david a. schmidt, "the structure of typed programming languages".