[net.lang.ada] Ada semantic analysis

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
-------