Re: Formal semantics for C

To: fjh@cs.mu.oz.au
Subject: Re: Formal semantics for C
From: Matthias Felleisen <matthias@ccs.neu.edu>
Date: Thu, 27 Dec 2001 09:21:38 -0500 (EST)
Cc: kfl@it.edu, types@cis.upenn.edu, S.J.Thompson@ukc.ac.uk, Michael.Norrish@cl.cam.ac.uk
In-reply-to: <20011228005417.B8142@hg.cs.mu.oz.au> (message from Fergus Henderson on Fri, 28 Dec 2001 00:54:17 +1100)
References: <200112221456.fBMEunr29447@saul.cis.upenn.edu> <200112221624.fBMGOdq04891@saul.cis.upenn.edu> <200112231526.fBNFQbM08076@saul.cis.upenn.edu> <20011225143316.GA2616@earth.cs.mu.oz.au> <20011226203040.77223206FC@sualocin.ccs.neu.edu> <20011228005417.B8142@hg.cs.mu.oz.au>
Reply-To: matthias@ccs.neu.edu


What's the boundary of a pointer? -- Matthias

Follow-Ups:

References: