problems/risks due to programming language

[Nick Rothwell]

In article <1990Mar1.172526.28683 at utzoo.uucp>, henry at 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 at lfcs.ed.ac.uk    <Atlantic Ocean>!mcvax!ukc!lfcs!nick
~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~
      A prop?   ...or wings?      A prop?   ...or wings?      A prop?