comp.lang.ada
 help / color / mirror / Atom feed
From: masticol@athos.rutgers.edu (Steve Masticola)
Subject: Request for Ada tasking programs
Date: 30 Apr 91 23:23:34 GMT	[thread overview]
Message-ID: <Apr.30.19.23.32.1991.26063@athos.rutgers.edu> (raw)


Hi,
	I'm working on static analysis of Ada source programs to
detect deadlock, and am in need of Ada source code with tasking. The
requirements are a bit peculiar; I'd like code with a large number of
tasks, signal types, entries, and entry calls, but without TASK TYPE
declarations or entry calls across procedure boundaries. (If you're in
doubt, please send your code in anyway; I may be able to edit it to do
what I need.)

	Thanks to those who have responded in the past, too.

Thanks in advance,
- Steve (masticol@cs.rutgers.edu)

                 reply	other threads:[~1991-04-30 23:23 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox