D. Scott: Domains for Denotational Semantics. Springer LNCS 140. 1982. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Note on Semantics (with an Emphasis on UML) - Rumpe (1 citation) (Correct)
....mappings and discuss their impacts. The following discussion can be regarded as a set of guidelines for the definition of semantics, also they do not help defining semantics of complex languages like programming languages. For this purpose one of the standard denotational semantics papers [30] [32] [33] 34] could be consulted. 5.1 Intended Audience of the Semantics Mapping Very important is the intended audience of the semantics definition. Possible groups of readers are: the notation developer or the semantics definer, the tool vendor, or . the user of a language. If the ....
D. Scott: Domains for Denotational Semantics. Springer LNCS 140. 1982.
Denotational Versus Declarative Semantics For.. - Moreno.. (1992) (2 citations) Self-citation (Denotational) (Correct)
....and involve only exact curried applications. Convention: For the rest of the paper, such expressions as n ary , n arguments , etc. must be understood as refering to curried functions. 2. 3 Continuous applicative algebras We assume that the reader is familiar with the notion of Scott domain [14]. For the partial ordering of a given domain D we use the notation vD or simply v if D is clear by the context. A continuous applicative algebra (C.A.A. of signature Sigma is any algebraic structure A consisting of a Scott domain DA with ordering vA as carrier, a continuous binary operation ffi ....
....x 1 vD y 1 and : and xn vD yn . For n = 0; c(D n ) has a single bottom element. We now define D Sigma as the least solution of the recursive domain equation: D : c(D n ) D D] where c ranges over DC n Sigma and n ranges over IN) which is unique up to isomorphism; cfr. [14]. We say that D Sigma is the Scott domain of signature Sigma and write vD for its ordering. Note that we have isomorphic copies of c(D n Sigma ) and [D Sigma D Sigma ] included in D Sigma as subdomains; let us call them c(D n Sigma ) in D Sigma and [D Sigma D Sigma ] in D ....
D.S.Scott: Domains for denotational semantics. Procs. ICALP '82, Springer LNCS 140, 1982, pp. 577-613.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC