Formal semantics for C

• To: types@cis.upenn.edu
• Subject: Formal semantics for C
• From: "S.J.Thompson" <S.J.Thompson@ukc.ac.uk>
• Date: Fri, 21 Dec 2001 14:06:01 +0000

Query about the formal semantics of C:

Are types readers aware of any work on formalizing the semantics
of the C programming language?

Thanks very much,

Simon Thompson

• Prev: EMSOFT 2002: FIRST CALL FOR PAPERS
• Next: Re: Formal semantics for C
• Index(es):
  • Main
  • Thread