Denotational semantics with pointer

rao@NU.cs.fsu.edu (Xiang Rao)
21 Apr 1998 00:41:02 -0400

          From comp.compilers
Related articles
Denotational semantics with pointer rao@NU.cs.fsu.edu (1998-04-21)
| List of all articles for this month |
From: rao@NU.cs.fsu.edu (Xiang Rao)
Newsgroups: comp.compilers
Date: 21 Apr 1998 00:41:02 -0400
Organization: FSU Computer Science Department
Keywords: semantics, question

Hi,


I am looking for a denotational semantics which accommodate working with
pointers. Specifically, need a means for declaring pointers (use C/C++
style syntax) and syntax, sematics for an address operator and an
indirection operator.


Any help for any ideas or any books I can find ideas will be
appreciated.




Thanks in advance.




xrao@math.fsu.edu
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.