From: utzoo!decvax!ucbvax!mhtsa!ihnss!ihuxi!otto
Newsgroups: net.general
Title: Re: strict type checking reduces bugs?
Article-I.D.: ihuxi.142
Posted: Wed May 26 18:21:56 1982
Received: Sat May 29 08:30:43 1982


For a discussion of this, see Gannon, J.D., "Language design to enhance
program reliability," Tech. Rep. CSRG-47, Computer Systems Research
Group, U of Toronto, 1975; or Gannon, J.D., "An experimental evaluation
of data type conventions," CACM 20, 8 (Aug 77), 584-595.

George Otto
Bell Labs, Indian Hill
----------------------