Xref: utzoo comp.software-eng:3028 comp.lang.c:26510 comp.lang.misc:4320
Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!edcastle!lfcs!nick
From: nick@lfcs.ed.ac.uk (Nick Rothwell)
Newsgroups: comp.software-eng,comp.lang.c,comp.lang.misc
Subject: Re: problems/risks due to programming language
Message-ID: <2568@castle.ed.ac.uk>
Date: 2 Mar 90 12:23:25 GMT
References: <6960@internal.Apple.COM> <Ec.3251@cs.psu.edu> <259@eiffel.UUCP> <1990Mar1.172526.28683@utzoo.uucp>
Reply-To: nick@lfcs.ed.ac.uk (Nick Rothwell)
Followup-To: comp.software-eng
Organization: Jenny Agutter Appreciation Society of Edinburgh
Lines: 11
In-reply-to: henry@utzoo.uucp (Henry Spencer)

In article <1990Mar1.172526.28683@utzoo.uucp>, henry@utzoo (Henry Spencer) writes:
>Modern
>C is a strongly-typed language by any reasonable definition,

Could you give me a reference to the type semantics?

		Nick.
Nick Rothwell,	Laboratory for Foundations of Computer Science, Edinburgh.
		nick@lfcs.ed.ac.uk    <Atlantic Ocean>!mcvax!ukc!lfcs!nick
~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~
      A prop?   ...or wings?      A prop?   ...or wings?      A prop?