* Ada semantic analysis
@ 1986-09-12 23:38 SMiller
1986-09-14 20:42 ` Rick Conn
0 siblings, 1 reply; 2+ messages in thread
From: SMiller @ 1986-09-12 23:38 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Ada semantic analysis
1986-09-12 23:38 Ada semantic analysis SMiller
@ 1986-09-14 20:42 ` Rick Conn
0 siblings, 0 replies; 2+ messages in thread
From: Rick Conn @ 1986-09-14 20:42 UTC (permalink / raw)
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
-------
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1986-09-14 20:42 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1986-09-12 23:38 Ada semantic analysis SMiller
1986-09-14 20:42 ` Rick Conn
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox