SMiller@HI-MULTICS.ARPA (09/13/86)
I have a friend who is looking into building a tool that does static semantic verification of Ada(tm) programs. If you could help design this tool, what sort of programming errors would you try to find ? What sort of errors are possible to find ? Is this tool feasible, useful, practical, etc. ? Pointers to other people working on things like this would be helpful. Please reply to me, and I'll post a summary of responses. Thanks. Scott Miller SMiller @ Hi-Multics
RCONN@SIMTEL20.ARPA (Rick Conn) (09/14/86)
The Ada Software Repository contains a document on common Ada Programming Errors, compiled by John Goodenough. It is in PD:<ADA.EDUCATION> as PROGERRS.DOC (see page 9-9 of the ASR Master Index). There are also the files PNOTE1.DOC and PNOTE2.DOC on programming notes. Rick -------