Xref: utzoo comp.software-eng:3033 comp.lang.c:26521 Newsgroups: comp.software-eng,comp.lang.c Path: utzoo!henry From: henry@utzoo.uucp (Henry Spencer) Subject: Re: problems/risks due to programming language Message-ID: <1990Mar3.120346.2645@utzoo.uucp> Organization: U of Toronto Zoology References: <6960@internal.Apple.COM> <259@eiffel.UUCP> <1990Mar1.172526.28683@utzoo.uucp> <2568@castle.ed.ac.uk> Date: Sat, 3 Mar 90 12:03:46 GMT In article <2568@castle.ed.ac.uk> nick@lfcs.ed.ac.uk (Nick Rothwell) writes: >>Modern >>C is a strongly-typed language by any reasonable definition, > >Could you give me a reference to the type semantics? ANSI X3.159 (I think that's the correct number) defines all the semantics of C. Publication is imminent. "Strongly typed" and "has a mathematically formal definition of type semantics" are two entirely different concepts, in case the latter was what you were thinking of. As far as I know, nobody has yet produced a formal definition of C. It is possible, although painful, to formally define non-strongly-typed languages. -- MSDOS, abbrev: Maybe SomeDay | Henry Spencer at U of Toronto Zoology an Operating System. | uunet!attcan!utzoo!henry henry@zoo.toronto.edu