Newsgroups: | comp.compilers |
From: | drw@euclid.mit.edu (Dale R. Worley) |
Organization: | MIT Dept. of Tetrapilotomy, Cambridge, MA, USA |
Date: | Tue, 12 Jan 1993 22:20:50 GMT |
Keywords: | Ada, C, debug |
References: | 93-01-041 93-01-065 |
jlg@cochiti.lanl.gov (J. Giles) writes:
Then your programs are considerably different from what I'm familiar with.
Most errors are not syntactic or static semantic errors (like type
errors). The vast majority of debugging time is spent isolating and
correcting problems which are not - and cannot be - found by the
typechecks no matter how strict your type system is.
I've been told by a programmer who's worked extensively in both C and Ada
that this is not true -- in Ada, once the program compiles, there are very
few bugs in it. Ada was designed with the intention of turning what would
be run-time bugs in C into compile-time bugs, and it appears that it has
succeeded to a large extent.
Dale
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.