comp.lang.ada
 help / color / mirror / Atom feed
* 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
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