From: SMiller@HI-MULTICS.ARPA
Subject: Ada semantic analysis
Date: Fri, 12-Sep-86 19:38:00 EDT [thread overview]
Date: Fri Sep 12 19:38:00 1986
Message-ID: <860912233856.134674@HI-MULTICS.ARPA> (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
next reply other threads:[~1986-09-12 23:38 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1986-09-12 23:38 SMiller [this message]
1986-09-14 20:42 ` Ada semantic analysis Rick Conn
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox