From: bruno@inmic.se (Bruno Poterie)
Subject: case stmt check algorithm/method
Date: 22 May 89 08:31:30 GMT [thread overview]
Message-ID: <BRUNO.89May22103130@ha7.inmic.se> (raw)
Hello,
as part of a VHDL analyser i have (among others) to write
the range completion checks for the CASE statement. This
is pretty much the same as in ADA, so i do not want to
reinvent the wheel. Could anybody point me to relevant
litterature on the subject, if any? More generaly, papers
or documents on semantic checks methodology (for ADA or
related) would be very helpfull.
Thank you in advance,
Bruno Poterie, IM, Kista, Sverige. email: bruno@inmic.se
next reply other threads:[~1989-05-22 8:31 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1989-05-22 8:31 Bruno Poterie [this message]
[not found] <89@<BRUNO>
1989-05-24 4:22 ` case stmt check algorithm/method stt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox