From: wupost!howland.reston.ans.net!ux1.cso.uiuc.edu!bert.eecs.uic.edu!uicvm.ui
Subject: Looking for Ada tasking programs
Date: 12 Feb 93 21:45:24 GMT [thread overview]
Message-ID: <93043.154524U58582@uicvm.uic.edu> (raw)
Hi!
I am looking for Ada sources (hopefully large Ada systems) which involve
tasking. We have a tool in our lab with which we do static analysis
of Ada tasking programs. I am looking for Realistic Ada tasking programs
to apply this tool.
Please post here, or e-mail me if you have information about any ftp
site (or person) where I can get this stuff from.
Thanks,
Ramana.
u can e-mail me at:
ramana@bert.eecs.uic.edu
U58582@uicvm.cc.uic.edu
next reply other threads:[~1993-02-12 21:45 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-02-12 21:45 wupost!howland.reston.ans.net!ux1.cso.uiuc.edu!bert.eecs.uic.edu!uicvm.ui [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-02-17 13:05 Looking for Ada tasking programs enterpoop.mit.edu!ira.uka.de!math.fu-berlin.de!news.netmbx.de!Germany.EU.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox