Lloyd Allison. A Practical Approach to Denotational Semantics. Cambridge University Press, 1986. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
The Semantics of Object-Oriented Databases - Brown (1997) (Correct)
....the OO specification of systems. In section 5.2.4 we examined an approach that used the Z language to specify the OO data model and show how queries could be processed on that model. In [47] Murray presents an attempt at specifying SQL in Z. 5. 4 Denotational semantics Denotational semantics [53] [5], 49] is a method of formally specifying the semantics of a language by mapping legal syntactic structures to members of a semantic domain. It is an approach developed from work in domain theory by Scott and Strachey in the 70s. A denotational semantics for a language will usually consist of: 1. ....
Lloyd Allison. A Practical Approach to Denotational Semantics. Cambridge University Press, 1986.
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