Denotational semantics with pointer (Xiang Rao)
21 Apr 1998 00:41:02 -0400

          From comp.compilers

Related articles
Denotational semantics with pointer (1998-04-21)
| List of all articles for this month |

From: (Xiang Rao)
Newsgroups: comp.compilers
Date: 21 Apr 1998 00:41:02 -0400
Organization: FSU Computer Science Department
Keywords: semantics, question


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

Thanks in advance.

Post a followup to this message

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