Re: Formal semantics for C

• To: Michael.Norrish@cl.cam.ac.uk
• Subject: Re: Formal semantics for C
• From: Matthias Felleisen <matthias@ccs.neu.edu>
• Date: Fri, 28 Dec 2001 08:50:34 -0500 (EST)
• Cc: kfl@it.edu, types@cis.upenn.edu, S.J.Thompson@ukc.ac.uk
• In-reply-to: <15404.27980.393340.141579@carp.cl.cam.ac.uk> (message from Michael Norrish on Fri, 28 Dec 2001 13:02:04 +0000)
• References: <200112221456.fBMEunr29447@saul.cis.upenn.edu> <200112221624.fBMGOdq04891@saul.cis.upenn.edu> <20011222192305.2D9C9206F4@sualocin.ccs.neu.edu> <15404.27980.393340.141579@carp.cl.cam.ac.uk>
• Reply-To: matthias@ccs.neu.edu

Excuse my ignorance, but is the Standard's notion of "conforming program" a
decidable notion?  If so, is your semantics accompanied by an algorithm? 

-- Matthias

• Re: Formal semantics for C
• From: Michael Norrish <Michael.Norrish@cl.cam.ac.uk>

• Re: Formal semantics for C
• From: Matthias Felleisen <matthias@ccs.neu.edu>
• Re: Formal semantics for C
• From: Michael Norrish <Michael.Norrish@cl.cam.ac.uk>

• Prev: Re: Formal semantics for C
• Next: Nondeterminism / formal semantics of C
• Index(es):
  • Main
  • Thread