|Denotational semantics with pointer rao@NU.cs.fsu.edu (1998-04-21)|
|From:||rao@NU.cs.fsu.edu (Xiang Rao)|
|Date:||21 Apr 1998 00:41:02 -0400|
|Organization:||FSU Computer Science Department|
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
Any help for any ideas or any books I can find ideas will be
Thanks in advance.
Return to the
Search the comp.compilers archives again.